Modelling the WAP Transaction Service Using Coloured Petri Nets
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.
Unable to display preview. Download preview PDF.
- 1.W. A. Barret and J. D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979.Google Scholar
- 2.J. Billington. Abstract specification of the ISO Transport service definition using labelled Numerical Petri nets. In H. Rudin and C. H. West, editors, Protocol Specification, Testing, and Verification, III, pages 173–185. Elsevier Science Publishers, Amsterdam, New York, Oxford, 1983.Google Scholar
- 3.J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets. LNCS 1605. Springer-Verlag, Berlin Heidelberg New York, 1999.Google Scholar
- 4.Meta Software. Design/CPN Reference Manual, Version 2.0. 1993.Google Scholar
- 5.WAP Forum. Wireless application protocol architecture specification. Available via: http://www.wapforum.org/, Apr. 1998.
- 6.WAP Forum. Wireless application protocol wireless transaction protocol specification. Available via: http://www.wapforum.org/, Apr. 1998.
- 7.ISO/IEC. Information Technology–Open Systems Interconnection–Basic Reference Model–Conventions for the Definition of OSI Services. 10731. 1994.Google Scholar
- 9.K. Jensen, S. Christensen, and L. M. Kristensen. Design/CPN Occurrence Graph Manual, Version 3.0. Department of Computer Science, Aarhus University, Aarhus, Denmark, 1996.Google Scholar