{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:48:43Z","timestamp":1742392123013},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_30","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"473-482","source":"Crossref","is-referenced-by-count":7,"title":["Prototyping Object Oriented Specifications"],"prefix":"10.1007","author":[{"given":"Ali","family":"Al-Shabibi","sequence":"first","affiliation":[]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[]},{"given":"Mathieu","family":"Buffo","sequence":"additional","affiliation":[]},{"given":"Stanislav","family":"Chachkov","sequence":"additional","affiliation":[]},{"given":"Ang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"David","family":"Hurzeler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"7","key":"30_CR1","first-page":"635","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Didier Buchs and Nicolas Guelfi, \u201cA Formal Specification Framework for Object-Oriented Distributed Systems,\u201d IEEE TSE, vol. 26, no. 7, July 2000, pp. 635\u2013652.","journal-title":"IEEE TSE"},{"key":"30_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45397-0_3","volume-title":"Advances in Petri Nets on Object-Orientation","author":"O. Biberstein","year":"2001","unstructured":"Olivier Biberstein, Didier Buchs and Nicolas Guelfi, \u201cObject-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 Formalism,\u201d Advances in Petri Nets on Object-Orientation, G. Agha and F. De Cindio and G. Rozenberg (Ed.), Lecture Notes in Computer Science, no. 2001, Springer-Verlag, May 2001, pp. 70\u2013127."},{"key":"30_CR3","unstructured":"Mathieu Buffo, Didier Buchs and Stanislav Chachkov, \u201cCoopnTools a Toolkit for the support of CO-OPN,\u201d Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets, Aahrus University, June 2000, pp. 2\u20136."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Stanislav Chachkov and Didier Buchs, \u201cFrom Formal Specifications to Ready-to-Use Software Components: The Concurrent Object-Oriented Petri Net Approach,\u201d International Conference on Application of Concurrency to System Design, Newcastle, IEEE Computer Society Press, June 2001, pp. 99\u2013110.","DOI":"10.1109\/CSD.2001.981768"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Stanislav Chachkov and Didier Buchs, \u201cInterfacing Software Libraries from Non-deterministic Prototypes,\u201d International Workshop on Rapid System Prototyping, July 1\u20133, 2002, Darmstadt, Germany","DOI":"10.1109\/IWRSP.2002.1029743"},{"key":"30_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Second International Conference on Coordination Models and Languages COORDINATION\u201997, September 1997","author":"M. Buffo","year":"1997","unstructured":"Mathieu Buffo and Didier Buchs, \u201cA Coordination Model for Distributed Object Systems,\u201d Proceedings of the Second International Conference on Coordination Models and Languages COORDINATION\u201997, September 1997, Lecture Notes in Computer Science, vol. 1282, Springer-Verlag, 1997."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"D. Buchs and M. Buffo, \u201cRapid Prototyping of Formally Modelled Distributed Systems,\u201d Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP\u201999), Frances M. Titsworth (Ed.), IEEE, June 1999.","DOI":"10.1109\/IWRSP.1999.779023"},{"key":"30_CR8","first-page":"142","volume-title":"Rapid System Prototyping","author":"S. Chachkov","year":"2001","unstructured":"Stanislav Chachkov and Didier Buchs, \u201cFrom an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller,\u201d Rapid System Prototyping, Monterey, CA, IEEE Computer Society Press, June 2001, pp. 142\u2013148."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"K. Jensen, \u201cColoured Petri Nets. Basic Concepts, Analysis Methods and Practical Use,\u201d Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, C. \u201cCooperative Nets\u201d In Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 471\u2013490. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58152-9_26"},{"key":"30_CR11","unstructured":"Robin Milner \u201cCommunicating and Mobile Systems: the-Calculus,\u201d Cambridge University Press, May 1999."},{"key":"30_CR12","unstructured":"C.A.R. Hoare \u201cCommunicating Sequential Processes,\u201d Prentice Hall International Series in Computer Science, 1985."},{"key":"30_CR13","unstructured":"Ulf Nilsson and Jan Maluszynski \u201cLogic, Programming and Prolog (2ed)\u201d"},{"key":"30_CR14","unstructured":"http:\/\/www.research.att.com\/sw\/tools\/graphviz\/"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:41:43Z","timestamp":1556811703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}