Portal de Periódicos da CAPES

Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

2000; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-44988-4_13

1611-3349

Steven Gordon, Jonathan Billington,

Distributed systems and fault tolerance

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.