{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:53Z","timestamp":1775052473275,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665885","type":"print"},{"value":"9783540481188","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_1","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"939-962","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["From informal requirements to COOP: a concurrent automata approach"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Poizat","sequence":"first","affiliation":[]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[]},{"given":"Jean-Claude","family":"Royer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"1_CR1","unstructured":"Luis A. \u00c0lvarez, Juan M. Murillo, Fernando S\u00e1nchez, and Juan Hern\u00e1ndez. ActiveJava, un modelo de programaci\u00f3n concurrente orientado a objeto. In III Jornadas de Ingener\u00eda del Software, Murcia, Spain, 1998."},{"key":"1_CR2","unstructured":"Pascal Andr\u00e9. M\u00e9thodes formelles et \u00e0 objets pour le d\u00e9veloppement du logiciel: Etudes et propositions. PhD Thesis, Universit\u00e9 de Rennes I (Institut de Recherche en Informatique de Nantes), Juillet 1995."},{"key":"1_CR3","unstructured":"Pascal Andr\u00e9 and Jean-Claude Royer. How To Easily Extract an Abstract Data Type From a Dynamic Description. Research Report 159, Institut de Recherche en Informatique de Nantes, September 1997."},{"key":"1_CR4","unstructured":"Pascal Andr\u00e9, Dan Chiorean, and Jean-Claude Royer. The formal class model. In Joint Modular Languages Conference, pages 59\u201378, Ulm, Germany, 1994. GI, SIG and BCS."},{"key":"1_CR5","volume-title":"Chapitre du Rapport final de l\u2019Op\u00e9ration VTT, Validation et v\u00e9rification de propri\u00e9t\u00e9s Temporelles et de Types de donn\u00e9es (commune aux PRC PAOIA et C3)","author":"M. Bidoit","year":"1994","unstructured":"M. Bidoit, C. Choppy, and F. Voisin. Validation d\u2019une sp\u00e9cification alg\u00e9brique du \u201cTransit-node\u201d par prototypage et d\u00e9monstration de th\u00e9or\u00e8mes. Chapitre du Rapport final de l\u2019Op\u00e9ration VTT, Validation et v\u00e9rification de propri\u00e9t\u00e9s Temporelles et de Types de donn\u00e9es (commune aux PRC PAOIA et C3), LaBRI, Bordeaux, 1994."},{"key":"1_CR6","unstructured":"Michel Bidoit. Types abstraits alg\u00e9briques: sp\u00e9cifications structur\u00e9es et pr\u00e9sentations gracieuses. In Colloque AFCET, Les math\u00e9matiques de l\u2019informatique, pages 347\u2013357, Mars 1982."},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201329, January 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"1_CR8","first-page":"141","volume-title":"ACM Workshop \u201cJava for High-Performance Network Computing\u201d","author":"D. Caromel","year":"1998","unstructured":"D. Caromel and J. Vayssi_ere. A Java Framework for Seamless Sequential, Multithreaded, and Distributed Programming. In ACM Workshop \u201cJava for High-Performance Network Computing\u201d, pages 141\u2013150, Stanford University, Palo Alto, California, 1998."},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-540-49020-3_6","volume-title":"Fundamental Approaches to Software Engineering (FASE\u201999)","author":"E. Coscia","year":"1999","unstructured":"Eva Coscia and Gianna Reggio. JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. In Jean-Pierre Finance, editor, Fundamental Approaches to Software Engineering (FASE\u201999), volume 1577 of Lecture Notes in Computer Science, pages 77\u201397. Springer-Verlag, 1999."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite Systems, volume B of Handbook of Theoretical Computer Science, chapter 6, pages 243\u2013320. Elsevier, 1990. Jan Van Leeuwen, Editor.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"1_CR11","unstructured":"Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL: Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997."},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","first-page":"93","volume-title":"Recent Trends in data Type Specification","author":"M. Navarro","year":"1993","unstructured":"M. Navarro F. Orejas and A. Sanchez. Implementation and behavioural equivalence: a survey. In M. Bidoit and C. Choppy (Eds.), editors, Recent Trends in data Type Specification, volume 655 of Lecture Notes in Computer Science, pages 93\u2013125. Springer-Verlag, August 1993."},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"8th Conference on Computer-Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In 8th Conference on Computer-Aided Verification, pages 437\u2013440, New Brunswick, New Jersey, USA, 1996."},{"key":"1_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-51081-8_105","volume-title":"Proc. of the Third International Conference on Rewriting Techniques and Applications","author":"S. Garland","year":"1989","unstructured":"S. Garland and J. Guttag. An overview of LP, the Larch Prover. In Proc. of the Third International Conference on Rewriting Techniques and Applications, volume 355 of Lecture Notes in Computer Science, pages 137\u2013151. Springer-Verlag, 1989."},{"key":"1_CR15","unstructured":"Gosling, Joy, and Steele. The Java Language Specification. Addison Wesley, 1996."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BFb0053585","volume-title":"FASE\u201998","author":"W. Grieskamp","year":"1998","unstructured":"Wolfgang Grieskamp, Maritta Heisel, and Heiko D\u00fcrr. Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In Egidio Astesiano, editor, FASE\u201998, volume 1382 of Lecture Notes in Computer Science, pages 88\u2013106. Springer-Verlag, 1998."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Maritta Heisel. Agendas-A Concept to Guide Software Development Activities. In R. N. Horspool, editor, Proceedings Systems Implementation 2000, pages 19\u201332. Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35350-0_2"},{"key":"1_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1007\/BFb0030643","volume-title":"TAPSOFT\u201997 (FASE\u201997)","author":"M. Heisel","year":"1997","unstructured":"Maritta Heisel and Nicole L\u00e9vy. Using LOTOS Patterns to Characterize Architectural Styles. In Michel Bidoit and Max Dauchet, editors, TAPSOFT\u201997 (FASE\u201997), volume 1214 of Lecture Notes in Computer Science, pages 818\u2013832, 1997."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Informatica, 1:271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"1_CR20","unstructured":"ISO\/IEC. LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 8807, International Organization for Standardization, 1989."},{"key":"1_CR21","unstructured":"Thomas Lambolais, Nicole L\u00e9vy, and Jeanine Souqui\u00e8res. Assistance au d\u00e9veloppement de sp\u00e9cifications de protocoles de communication. In AFADL\u201997 Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciel, pages 73\u201384, 1997."},{"key":"1_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Third International Conference, COORDINATION\u201999","author":"J. M. Murillo","year":"1999","unstructured":"Juan M. Murillo, Juan Hern\u00e1ndez, Fernando S\u00e1nchez, and Luis A. \u00c1lvarez. Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols. In Paolo Ciancarini and Alexander L. Wolf, editors, Third International Conference, COORDINATION\u201999, volume 1594 of Lecture Notes in Computer Science, Amsterdam, The Nederlands, April 1999. Springer-Verlag."},{"key":"1_CR23","unstructured":"M. Papathomas, J. Hern_andez, J. M. Murillo, and F. S_anchez. Inheritance and expressive power in concurrent object-oriented programming. In LMO\u201997 Langages et Mod\u00e8les \u00e0 Objets, pages 45\u201360, 1997."},{"key":"1_CR24","unstructured":"Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Un support m\u00e9thodologique pour la sp\u00e9cification de syst\u00e8mes \u201cmixtes\u201d. Research Report 180, Institut de Recherche en Informatique de Nantes, Novembre 1998. \n                    http:\/\/www.\/papers \/rr180.ps.gz\n                    \n                   in Poizat\u2019s web page."},{"key":"1_CR25","unstructured":"Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Une nouvelle m\u00e9thode pour la sp\u00e9cification en LOTOS. Research Report 170, Institut de Recherche en Informatique de Nantes, F\u00e9vrier 1998. \n                    http:\/\/www.\/papers\/rr170.ps.gz\n                    \n                   in Poizat\u2019s web page."},{"key":"1_CR26","series-title":"Lect Notes Comput Sci","first-page":"276","volume-title":"Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th International Workshop on Algebraic Development Techniques WADT\u201998","author":"P. Poizat","year":"1999","unstructured":"Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Concurrency and Data Types: A Specification Method. An Example with LOTOS. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th International Workshop on Algebraic Development Techniques WADT\u201998, volume 1589 of Lecture Notes in Computer Science, pages 276\u2013291, Lisbon, Portugal, 1999. Springer-Verlag."},{"key":"1_CR27","unstructured":"Pascal Poizat, Christine Choppy, and Jean-Claude Royer. From Informal Requirements to Object Oriented Code using Structured Concurrent Sequential Communicating Automata. Research Report, Institut de Recherche en Informatique de Nantes, 1999."},{"issue":"E","key":"1_CR28","first-page":"3","volume":"7","author":"G. Smith","year":"1995","unstructured":"Graeme Smith. A Fully-Abstract Semantics of Classes for Object-Z. Formal Aspects of Computing, 7(E):3\u201365, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"1_CR29","unstructured":"Rational Software and al. Unified Modeling Language, Version 1.1. Technical report, Rational Software Corp, \n                    http:\/\/www.rational.com\/uml\n                    \n                  , September 1997."},{"key":"1_CR30","unstructured":"The Raise Method Group. The RAISE Development Method. The Practitioner Series. Prentice-Hall, 1995."},{"issue":"4","key":"1_CR31","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0169-7552(96)00107-9","volume":"29","author":"K. Turner","year":"1997","unstructured":"K. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437\u2013456, 1997.","journal-title":"Computer Networks and ISDN Systems"},{"key":"1_CR32","unstructured":"Kenneth J. Turner, editor. Using Formal Description Techniques, An introduction to Estelle, Lotos and SDL. Wiley, 1993."},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C.A. Vissers","year":"1991","unstructured":"C.A. Vissers, G. Scollo, M Van Sinderen, and E. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, (89):179\u2013206, 1991.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:02:28Z","timestamp":1558278148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}