For the most recent entries see the Petri Nets Newsletter.

Modelling the WAP Transaction Service using Coloured Petri Nets.

Gordon, S.; Billington, J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography