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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. A. Barret and J. D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979.
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.
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.
Meta Software. Design/CPN Reference Manual, Version 2.0. 1993.
WAP Forum. Wireless application protocol architecture specification. Available via: http://www.wapforum.org/, Apr. 1998.
WAP Forum. Wireless application protocol wireless transaction protocol specification. Available via: http://www.wapforum.org/, Apr. 1998.
ISO/IEC. Information Technology–Open Systems Interconnection–Basic Reference Model–Conventions for the Definition of OSI Services. 10731. 1994.
K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3. Springer-Verlag, Berlin, 1997.
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.
L. M. Kristensen, S. Christensen, and K. Jensen. The practitioner’s guide to Coloured Petri nets. Int J Software Tools for Technology Transfer, 2(2):98–132, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gordon, S., Billington, J. (1999). Modelling the WAP Transaction Service Using Coloured Petri Nets. In: Leong, H.V., Lee, WC., Li, B., Yin, L. (eds) Mobile Data Access. MDA 1999. Lecture Notes in Computer Science, vol 1748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46669-X_10
Download citation
DOI: https://doi.org/10.1007/3-540-46669-X_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66878-7
Online ISBN: 978-3-540-46669-7
eBook Packages: Springer Book Archive