Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Elements of the Theory of Computation
Elements of the Theory of Computation
Internet Open Trading Protocol
Internet Open Trading Protocol
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Automated protocol verification
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Modelling the WAP Transaction Service using Coloured Petri Nets
MDA '99 Proceedings of the First International Conference on Mobile Data Access
Formal Analysis of E-Commerce Protocols
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
Creating an internet inter-ORB protocol service specification
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
| Hi-index | 0.00 |
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.