{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:32Z","timestamp":1725484472708},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_8","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"57-68","source":"Crossref","is-referenced-by-count":2,"title":["Toward a Formal Model of Software Components"],"prefix":"10.1007","author":[{"given":"Maritta","family":"Heisel","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[]},{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"8_CR1","unstructured":"A. Beugnard. Communication Services as Components for Telecommunication Applications. In Proc. 14th European Conference on Object-OrientedProgramming,ECOOP\u20192000. Sophia Antipolis et Cannes (F), 2000. \n                    http:\/\/www-info.enst-bretagne.fr\/medium\n                    \n                  ."},{"key":"8_CR2","unstructured":"A. Brucker and B. Wolff. Testing distributed component based systems using UML\/OCL. In M. Wirsing, editor, Workshop on Integrating Diagrammatic and Formal Specification Techniques, pages 17\u201323. LMU Munchen, 2001. \n                    http:\/\/www.pst.informatik.unimuenchen.de\/GI2001\/gi-band.pdf\n                    \n                  ."},{"key":"8_CR3","unstructured":"E. Cariou. Sp\u00e9cification de composants de Communication en UML. In Proc. Objets, Composants, Mod\u00e8les (OCM\u20192000), 2000. \n                    http:\/\/www-info.enst-bretagne.fr\/medium\n                    \n                  ."},{"key":"8_CR4","unstructured":"S. Cimato. A Methodology for the Specification of Java Components and Architectures. PhD thesis, University of Bologna, 1999. \n                    http:\/\/www.cs.unibo.it\/~cimato\/www\/papers\/sty.ps.gz\n                    \n                  ."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"S. Cimato. Specifying component-based Java applications. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 105\u2013112, 1999.","DOI":"10.1007\/978-0-387-35562-7_9"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"8_CR7","unstructured":"D. Flanagan. Java in a Nutshell. O\u2019Reilly, 1999."},{"key":"8_CR8","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Elements of reusable object-oriented software. Addison-Wesley, 1995."},{"key":"8_CR9","volume-title":"Technical Report A02-R-025","author":"M. Heisel","year":"2002","unstructured":"M. Heisel, T. Santen, and J. Souqui\u00e8res. On the specification of components-the JavaBeans example. Technical Report A02-R-025, LORIA, Nancy, France, 2002."},{"key":"8_CR10","unstructured":"ITU-TS, Geneva. ITU-TS Recommendations Z.120: Message Sequence Chart (MSC), 1996."},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. TACAS\u20192001","author":"J. Klose","year":"2001","unstructured":"J. Klose and H. Wittke. An automata based interpretation of live sequence charts. In T. Margaria and Wang Yi, editors, Proc. TACAS\u20192001, LNCS 2031, 2001."},{"key":"8_CR12","unstructured":"Microsoft Corporation. The Component Object Model Specification, Version 0.9, 1995. \n                    http:\/\/www.microsoft.com\/com\/resources\/comdocs.asp\n                    \n                  ."},{"key":"8_CR13","unstructured":"The Object Mangagement Group (OMG). The Common Object Request Broker: Architecture and Specification, Revision 2.2, February 1998. \n                    http:\/\/cgi.omg.org\/library\/corbaiiop.html\n                    \n                  ."},{"key":"8_CR14","unstructured":"J. Rumbaugh, I. Jacobsen, and G. Booch. Unified Modeling Language Reference Manual. Addison-Wesley, 1997."},{"key":"8_CR15","unstructured":"G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 1999."},{"key":"8_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45648-1_5","volume-title":"ZB2002: Formal Specification and Development in Z and B","author":"G. Smith","year":"2002","unstructured":"G. Smith, F. Kamm\u00fcller, and T. Santen. Encoding Object-Z in Isabelle\/HOL. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, ZB2002: Formal Specification and Development in Z and B, LNCS 2272, pages 82\u201399. Springer-Verlag, 2002."},{"key":"8_CR17","unstructured":"Sun Microsystems. JavaBeans Specification, Version 1.01, 1997. \n                    http:\/\/java.sun.com\/products\/javabeans\/docs\/spec.html\n                    \n                  ."},{"key":"8_CR18","unstructured":"Sun Microsystems. Enterprise JavaBeans Specification, Version 2.0, 2001. \n                    http:\/\/java.sun.com\/products\/ejb\/docs.html\n                    \n                  ."},{"key":"8_CR19","unstructured":"Sun Microsystems. JavaBeans Tutorial, 2001. \n                    http:\/\/developer.java.sun.com\/developer\/on-lineTraining\/Beans\/beans02\n                    \n                  ."},{"key":"8_CR20","unstructured":"C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T18:36:58Z","timestamp":1550342218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}