Abstract
The Transaction Internet Protocol (TIP) aims to facilitate e-commerce by enforcing atomicity guarantees in transactions distributed between several autonomous transaction processing systems. In this work, the authors explore a holiday booking scenario in which a customer is protected by the TIP; in such a way as to prevent ending up with a hotel reservation without the requested flight reservation that is enclosed in the same holiday package. TIP defines an approach that makes the commit processing independent of the communication protocol used. There are a number of potential pitfalls that make it useful to provide a formal approach to reason about the behavioral properties of TIP. The authors propose a Colored Petri Net model that allows interactive simulation and verification of correctness properties within the CPN Tools modeling environment. The model can be used in the CPN Tools environment for model checking tasks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Reynolds, J., Ginoza, S. (eds.): Internet Official Protocol Standards, Network Working Group RFC 3700, Standards Track, Internet Engineering Task Force (2004)
Evans, K., Klein, J., Lyon, J.: Transaction Internet Protocol – Requirements and Supplemental Information, Network Working Group RFC 2372, Standards Track. The Internet Society (1998), http://www.faqs.org/rfcs/rfc2372.html
Lyon, J., Evans, K., Klein, J.: Transaction Internet Protocol Version 3.0, Network Working Group RFC 2371, Standards Track. The Internet Society (1998), http://www.faqs.org/rfcs/rfc2371.html
Katsaros, P.: A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. Information and Software Technology 51(2), 235–257 (2009), http://dx.doi.org/10.1016/j.infsof.2008.01.005
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vols. 1-3. Springer, Heidelberg (1997)
Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner’s Guide to Coloured Petri Nets, CPN Group, Department of Computer Science, University of Aarhus, Denmark. Springer, Heidelberg (1998)
Katsaros, P., Odontidis, V., Gousidou-Koutita, M.: Colored Petri Net Based Model Checking and Failure Analysis for E-commerce Protocols. In: Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2005), DAIMI PB-576, University of Aarhus, Denmark, pp. 267–283 (2005)
Georgiadis, C.K., Baltatzis, D., Pangalos, G.: Secure mobile agent environments: modelling role assignments. Int. J. Electronic Security and Digital Forensics 1(3), 249–267 (2008)
CPN2000 Project: Coloured Petri-Nets Tools (2000), http://www.daimi.au.dk/CPnets/CPN2000
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Georgiadis, C.K., Kokkinidis, I., Pimenidis, E. (2010). A Coloured Petri Net Analysis of the Transaction Internet Protocol . In: Tenreiro de Magalhães, S., Jahankhani, H., Hessami, A.G. (eds) Global Security, Safety, and Sustainability. ICGS3 2010. Communications in Computer and Information Science, vol 92. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15717-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-15717-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15716-5
Online ISBN: 978-3-642-15717-2
eBook Packages: Computer ScienceComputer Science (R0)