File(s) not publicly available
Analysing the WAP class 2 Wireless Transaction Protocol using coloured petri nets
conference contribution
posted on 2019-06-05, 00:00 authored by Steven GordonSteven Gordon, J BillingtonColoured 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 DParent Title
Application and theory of Petri nets 2000: 21st international conference: ICATPN 2000Volume
LNCS 1825Start Page
207End Page
226Number of Pages
20Start Date
2000-06-26Finish Date
2000-06-30ISBN-10
3540676937ISBN-13
9783540676935Location
Aarhus, DenmarkPublisher
Springer VerlagPlace of Publication
BerlinPeer Reviewed
- Yes
Open Access
- No