A Formal Service Specification for the Internet Open Trading Protocol
Ouyang, Chun, Kristensen, Lars Michael, & Billington, Jonathan (2002) A Formal Service Specification for the Internet Open Trading Protocol. In 23rd International Conference on Applications and Theory of Petri Nets, Springer, pp. 77-108.
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.
Citation countsare sourced monthly fromand citation databases.
These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science generally from 1980 onwards.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Conference Paper|
|Additional Information:||For more information, please refer to the publisher's website (see hypertext link) or contact the author.|
|Divisions:||Past > QUT Faculties & Divisions > Faculty of Science and Technology|
|Copyright Owner:||Copyright 2002 Springer|
|Deposited On:||15 Nov 2007|
|Last Modified:||15 Jan 2009 17:54|
Repository Staff Only: item control page