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.

View at publisher

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.

Impact and interest:

5 citations in Scopus
3 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® 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 the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 10720
Item Type: Conference Paper
Refereed: Yes
Additional Information: For more information, please refer to the publisher's website (see hypertext link) or contact the author.
DOI: 10.1007/3-540-48068-4_21
ISBN: 3540437878
ISSN: 0302-9743
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2002 Springer
Deposited On: 15 Nov 2007 00:00
Last Modified: 15 Jan 2009 07:54

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page