In: Lecture Notes in Computer Science, Vol. 1748: Proceedings of the First International Conference on Mobile Data Access (MDA'99), pages 105-114. Springer-Verlag, December 1999.
Abstract: The Wireless Application Protocol (WAP) is an architecture designed to support the provision of wireless Internet services to mobile users with hand-held devices. The Wireless Transaction Protocol is a layer of WAP that provides a reliable request/response service suited for Web applications. In this paper Coloured Petri nets are used to model and generate the possible primitive sequences of the request/response Transaction Service. From the results we conclude that the service specification lacks an adequate description of what constitutes the end of a transaction. No other deficiencies were found in the Transaction Service.
Keywords: Protocol Engineering, Service Specification, Coloured Petri Nets, Wireless Transaction Protocol.