A formal service specification for the internet open trading protocol-

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2360 LNCS, Issue , 2002, Pages 352-373

  Ouyang, Chun ^a   Kristensen, Lars Michael ^a   Billington, Jonathan ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Case studies; E commerce; Higher level net models; Internet protocols; System verification using nets

Indexed keywords

COMMERCE; ELECTRONIC COMMERCE; ITERATIVE METHODS; PETRI NETS; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; INTERNET;

CASE-STUDIES; DEFINITION OF SERVICE; HIGHER-LEVEL NET MODELS; INTERNET OPEN TRADING PROTOCOLS; OPEN SYSTEMS INTERCONNECTIONS; PROTOCOL ENGINEERING; SERVICE SPECIFICATIONS; SYSTEM VERIFICATIONS;

INTERNET PROTOCOLS;

EID: 84879114594     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_21     Document Type: Conference Paper

References (28)

1. ITU-T Recommendation X.210, Information Technology-Open Systems Interaction-Basic Reference Model: Conventions For The Definition of OSI Services, November 1993. 353, 356, 357
2. ITU-T Recommendation X.214, Information Technology-Open Systems Interconnection-Transport Service Definition, November 1995. 356, 358
3. AT&T. FSM Library. URL: http://www.research.att.com/sw/tools/fsm. 367
4. J. Billington. Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. In Protocol Specification, Testing, and Verification, III, pages 173-185. Elsevier Science Publishers, 1983. 353
5. J. Billington. Formal Specification of Protocols: Protocol Engineering. In Encyclopedia of Microcomputers, pages 299-314. Marcel Dekker, New York, 1991. 352, 353
6. J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets, volume 1605 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1999. 352
7. J. Billington, M. C. Wilbur-Ham, and M. Y. Bearman. Automated Protocol Verification. In Protocol Specification, Testing, and Verification, V, pages 59-70. Elsevier Science Publishers, 1986. 352, 353
8. D. Birch. Shopping Protocols-Buying online is more than just paying. Journal of Internet Banking and Commerce, 3(1), January 1998. 353
9. D. Burdett. Internet Open Trading Protocol-IOTP Version 1.0. IETF Trade Working Group, April 2000. IETF RFC 2801 URL: http://www.ietf.org/rfc/rfc2801. txt. 352, 353, 355, 360, 361, 371
10. D. Burdett, D. Eastlake, and M. Goncalves. Internet Open Trading Protocol. McGraw-Hill, 2000. 352, 355
11. D. Eastlake and C. Smith. Internet Open Trading Protocol (IOTP) HTTP Supplement. IETF Trade Working Group, September 2000. IETF RFC 2935 URL: http://www.ietf.org/rfc/rfc2935.txt. 361
12. S. Gordon and J. Billington. Modelling the WAP Transaction Service using Coloured Petri Nets. In Proceedings of MDA 1999, LNCS 1748, pages 105-114. Springer-Verlag, 1999. 353, 356
13. InterPay I-OTP. URL: ftp://ftp.pothole.com/pub/ietf-trade/IETF-London/ InterPay2001London.ppt%. 353
14. The Internet Engineering Task Force-IETF. URL: http://www.ietf.org/. 352
15. JOTP Open Trading Protocol Toolkit For Java. URL: http://www.livebiz.com/ . 353
16. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol 1-3. Monographs in Theoretical Computer Science. Springer-Verlag, 1997. 353
17. G. C. Kessler and N. T. Pritsky. Payment protocols: Cache on demand. Information Security Magazine, October 2000. Availabe via http://www. infosecuritymag.com/articles/october00/features2.shtml. 353
18. H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall International, 1998. 353
19. Mondex. URL: http://www.mondexusa.com/html/content/technolo/ technolo.htm. 354
20. Design/CPN Online. URL: http://www.daimi.au.dk/designCPN/. 353, 367
21. C. Ouyang, L. M. Kristensen, and J. Billington. An Improved Architectural Specification of the Internet Open Trading Protocol. In Proceedings of 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01), pages 119-137. DAIMI PB-554, Department of Computer Science, University of Aarhus, ISSN 0105-8517, 2001. 353, 354, 371
22. C. Ouyang, L. M. Kristensen, and J. Billington. A Proposed Internet Open Trading Service Definition. Technical report, Computer Systems Engineering Centre, University of South Australia, 2001. Draft version 2.0. 357, 358
23. C. Ouyang, L. M. Kristensen, and J. Billington. Towards Modelling and Analysis of the Internet Open Trading Protocol Transactions using Coloured Petri Nets. In Proceedings of 11th Annual International Symposium of the International Council on System Engineering (INCOSE), pages CD-ROM 6.7.3, 2001. 353, 371
24. M. Papa, O. Bremer, J. Hale, and S. Shenoi. Formal Analysis of E-commerce Protocols. In Proceedings of 5th. International Symposium on Autonomous Decentralized Systems, pages 19-28. IEEE Computer Society, 2001. 352
25. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets: Advances in Petri Nets. Volume I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998. 352
26. Hitachi SMILEs. URL: http://www.hitachi.co.jp/Div/nfs/whats new/ smiles.html. 353
27. M. E. Villapol and J. Billington. Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods. In Proceedings of 11th Annual International Symposium of the International Council on Systems Engineering (INCOSE), pages CD-ROM 9.1.4, 2001. 353, 356
28. Vol 1-3, May 1997. URL: http://www.setco.org/set specifications.html. 354