Skip to main content
SpringerLink
Log in

Modelling the WAP Transaction Service Using Coloured Petri Nets

  • Conference paper
  • First Online:
Book cover Mobile Data Access (MDA 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1748))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 

  8. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3. Springer-Verlag, Berlin, 1997.

    MATH  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 

  10. 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.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cooperative Research Centre for Satellite Systems, University of South Australia, Mawson Lakes, SA, 5095, Australia

    Steven Gordon & Jonathan Billington

Authors
  1. Steven Gordon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonathan Billington
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong, China

    Hong Va Leong

  2. GTE Laboratories Incorporated, 40 Sylvan Road, Waltham, MA, 02451, USA

    Wang-Chien Lee

  3. Department of Computer Science, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China

    Bo Li  & Li Yin  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation