For the most recent entries see the Petri Nets Newsletter.

A Formal Service Specification for the Internet Open Trading Protocol.

Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan

In: J. Esparza, C. Lakos (Eds.): Lecture Notes in Computer Science, Vol. 2360: 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 352-373. Springer Verlag, June 2002.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography