A Formal Service Specification for the Internet Open Trading Protocol
Ouyang, Chun and Kristensen, Lars Michael and Billington, Jonathan (2002) A Formal Service Specification for the Internet Open Trading Protocol. In: 23rd International Conference on Applications and Theory of Petri Nets.
Full text not available from this repository.
DOI : 10.1007/3-540-48068-4_21
Abstract
This paper presents our service specification for the Internet Open Trading Protocol (IOTP) developed using Coloured Petri Nets. To handle IOTP's complexity, we apply a protocol engineering methodology based on Open Systems Interconnection (OSI) principles consisting of five iterative steps: the definition of service primitives and parameters; the creation of an automaton specifying the local service language for each of the four trading roles of IOTP; the development of a CPN model synthesizing the local automata into a specification of the global service capturing the correlations between the service primitives at the distributed trading roles; the generation of the occurrence graph representing the global service language; and lastly a new step, language comparison to ensure the consistency between the specifications of the local service language and the global service language. The outcome is a proposed formal service specification for IOTP. Keywords: System verification using nets, Case studies, Higher-level net models, Internet protocols, E-commerce.
| ID Code: | 10720 |
|---|---|
| Item Type: | Conference Paper |
| Additional Information : | For more information, please refer to the publisher's website (see hypertext link) or contact the author. |
| ISBN: | 3540437878 |
| ISSN: | 0302-9743 |
| Divisions: | QUT Faculties and Divisions > Faculty of Science and Technology |
| Copyright Owner : | Copyright 2002 Springer |
| Deposited On: | 15 Nov 2007 |
| Last Modified: | 15 Jan 2009 17:54 |
Export: EndNote | Dublin Core
Repository Staff Only: item control page