{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:54:03Z","timestamp":1742799243272},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441373"},{"type":"electronic","value":"9783540457053"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45705-4_39","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T20:28:50Z","timestamp":1181680130000},"page":"377-387","source":"Crossref","is-referenced-by-count":6,"title":["A Formal and Executable Specification of the Internet Open Trading Protocol"],"prefix":"10.1007","author":[{"given":"Chun","family":"Ouyang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,8,20]]},"reference":[{"key":"39_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Application of Petri Nets to Communication Networks: Advances in Petri Nets","year":"1999","unstructured":"J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets, Volume 1605, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1999."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"D. Burdett. Internet Open Trading Protocol IOTP Version 1.0. IETF Trade Working Group, April 2000. Available via: http:\/\/www.ietf.org\/rfc\/rfc2801.txt .","DOI":"10.17487\/rfc2801"},{"key":"39_CR3","unstructured":"E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999."},{"issue":"4","key":"39_CR4","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. M. Clarke","year":"1996","unstructured":"E. M. Clarke and J.M Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4):626\u2013643, December 1996.","journal-title":"ACM Computing Surveys"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol 1\u20133. Monographs in Theoretical Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-60794-3"},{"issue":"2","key":"39_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"L.M. Kristensen, S. Christensen, and K. Jensen. The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98\u2013132, 1998. Springer-Verlag.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"39_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-45594-9_23","volume-title":"Business Process Management","author":"R.M. Lee","year":"2000","unstructured":"R.M. Lee. Documentary Petri Nets: A Modelling Representation for Electronic Trade Procedure. In Business Process Management, Volume 1806, Lecture Notes in Computer Science, pages 259\u2013375. Springer-Verlag, 2000."},{"key":"39_CR8","unstructured":"C. Ouyang, L.M. Kristensen, and J. Billington. An Improved Architectural Specification of the Internet Open Trading Protocol. In Proceedings of 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN\u201901), pages 119\u2013137. DAIMI PB-554, University of Aarhus, ISSN 0105-8517, 2001."},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"C. Ouyang, L.M. Kristensen, and J. Billington. Towards Modelling and Analysis of the Internet Open Trading Protocol Transactions using Coloured Petri Nets. In Proc of 11th Annual International Symposium of the International Council on System Engineering (INCOSE), 2001. CD-ROM 6.7.3.","DOI":"10.1002\/j.2334-5837.2001.tb02422.x"},{"key":"39_CR10","series-title":"Lect Notes Comput Sci","volume-title":"A Formal Service Specification of the Internet Open Trading Protocol","author":"C. Ouyang","year":"2002","unstructured":"C. Ouyang, L.M. Kristensen, and J. Billington. A Formal Service Specification of the Internet Open Trading Protocol. In Proceedings of 23rd International Conference on Application and Theory of Petri Nets, Volume 2360, Lecture Notes in Computer Science, Springer-Verlag, 2002. To appear."},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"M. Papa, O. Bremer, J. Hale, and S. Shenoi. Formal Analysis of E-commerce Protocols. In Proceedings of 5th. International Symposium on Autonomous Decentralized Systems, pages 19\u201328. IEEE Computer Society, 2001.","DOI":"10.1109\/ISADS.2001.917391"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"I. Ray and I. Ray. Failure Analysis of an E-commerce Protocol using Model Checking. In Proceedings of 2nd International Workshop on Advanced Issues of ECommerce and Web-Based Information Systems, pages 176\u2013183. IEEE Computer Society, 2000.","DOI":"10.1109\/WECWIS.2000.853873"},{"key":"39_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets: Advances in Petri Nets. Volume I. Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets: Advances in Petri Nets. Volume I: Basic Models, Volume 1491, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1998."},{"key":"39_CR14","unstructured":"J. D. Ullman. Elements of ML Programming. Prentice-Hall, 1998."},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"P. Yolum and M. P. Singh. Commitment-based enhancement of e-commerce protocols. In Proceedings of IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 278\u2013283, 2000.","DOI":"10.1109\/ENABL.2000.883743"}],"container-title":["Lecture Notes in Computer Science","E-Commerce and Web Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45705-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:09:56Z","timestamp":1556489396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45705-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441373","9783540457053"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45705-4_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}