File(s) not publicly available

Analysing the WAP class 2 Wireless Transaction Protocol using coloured petri nets

conference contribution
posted on 05.06.2019, 00:00 by Steven GordonSteven Gordon, J Billington
Coloured Petri nets (CPNs) are used to specify and analyse the Class 2 Wireless Transaction Protocol (WTP). The protocol provides a reliable request/response service to the Session layer in the Wireless Application Protocol (WAP) architecture. When only a single transaction is considered occurrence graph and language analysis reveals 3 inconsistencies between the protocol and service specification: (1) the initiator user can receive two TR-Invoke.cnf primitives; (2) turning User Acknowledgement on doesn’t always provide the User Acknowledgement service; and (3) a transaction can be aborted without the responder user being notified. Based on the modelling and analysis, changes to WTP have been recommended to the WAP ForumSM.

History

Editor

Nielsen M; Simpson D

Parent Title

Application and theory of Petri nets 2000: 21st international conference: ICATPN 2000

Volume

LNCS 1825

Start Page

207

End Page

226

Number of Pages

20

Start Date

26/06/2000

Finish Date

30/06/2000

ISBN-10

3540676937

ISBN-13

9783540676935

Location

Aarhus, Denmark

Publisher

Springer Verlag

Place of Publication

Berlin

Peer Reviewed

Yes

Open Access

No

Name of Conference

21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)