{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:13:44Z","timestamp":1742393624540,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_14","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:01:06Z","timestamp":1185933666000},"page":"193-207","source":"Crossref","is-referenced-by-count":9,"title":["Formal Specification of Object-Oriented Meta-modelling"],"prefix":"10.1007","author":[{"given":"Gunnar","family":"\u00d6vergaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"G. Booch. Object-Oriented Design with Applications. Redwood City, 1991.","key":"14_CR1","DOI":"10.1145\/149576.149582"},{"doi-asserted-by":"crossref","unstructured":"E.H. D\u00fcrr and J. van Katwijk. VDM++-A Formal Specification Language for Object-oriented Designs. In Computer Systems and Software Engineering. Proceedings of CompEuro\u201992, pages 214\u2013219. IEEE Computer Society Press, 1992.","key":"14_CR2","DOI":"10.1109\/CMPEUR.1992.218511"},{"unstructured":"Electronic Industries Association, 2500 Wilson Blvd. Arlington, VA 22201. EIA\/IS-107: CDIF \/ Framework for Modeling and Extensibility, 1997. http:\/\/www.eia.org\/eig\/cdif\/how-to-obtain-standards.html .","key":"14_CR3"},{"unstructured":"International Telecommunication Union (ITU), Place des Nations, CH-1211 Geneva 20, Switzerland. Recommendation Z.100 (03\/93)-CCITT specification and description language (SDL), 1993. http:\/\/www.itu.int\/itudoc\/itut\/rec\/z.html.","key":"14_CR4"},{"unstructured":"I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.","key":"14_CR5"},{"unstructured":"I. Jacobson, M. Christerson, P. Jonsson, and G. \u00d6vergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1993.","key":"14_CR6"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR\u201993: 4th International Conference on Concurrency","author":"C. B. Jones","year":"1993","unstructured":"C. B. Jones. A pi-calculus Semantics for an Object-Based Design Notation. In E. Best, editor, CONCUR\u201993: 4th International Conference on Concurrency Theory Lecture Notes in Computer Science 715. Springer-Verlag, 1993."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I. Information and Computation, 100:1\u201340, 1992.","journal-title":"Information and Computation"},{"unstructured":"Meta Object Facility (MOF) Specification, September 1997. On-line documentation: http:\/\/www.omg.org\/pub\/docs\/ad\/97-08-\u230c14,15\u230d.pdf .","key":"14_CR9"},{"unstructured":"Object Management Group, Framingham Corporate Center, 492 Old Connecticut Path, Framingham MA 01701-4568. OMG Unified Modeling Language Specification, version 1.3, June 1999. http:\/\/www.omg.org\/cgi-bin\/doc?ad\/99-06-08 .","key":"14_CR10"},{"key":"14_CR11","first-page":"91","volume-title":"Proceedings PSMT\u201998 Workshop on Precise Semantics for Software Modeling Techniques","author":"G. \u00d6vergaard","year":"1998","unstructured":"G. \u00d6vergaard. A Formal Approach to Relationships in the Unified Modeling Language. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT\u201998 Workshop on Precise Semantics for Software Modeling Techniques, pages 91\u2013108. Technische Universit\u00e4t, M\u00fcnchen, Germany, TUM-I9803, April 1998."},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-46852-8_8","volume-title":"Proceedings of UML\u201999 \u2014 The Unified Modeling Language: Beyond the Standard","author":"G. \u00d6vergaard","year":"1999","unstructured":"G. \u00d6vergaard. A Formal Approach to Collaborations in the Unified Modeling Language. In R. France and B. Rumpe, editors, Proceedings of UML\u201999 \u2014 The Unified Modeling Language: Beyond the Standard, Lecture Notes in Computer Science 1723, pages 99\u2013115. Springer-Verlag, 1999."},{"doi-asserted-by":"crossref","unstructured":"G. \u00d6vergaard and K. Palmkvist. A Formal Approach to Use cases and Their Relationships. In P.-A. Muller and J. B\u00e9zivin, editors, Proceedings of the Unified Modeling Language: UML\u201998: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.","key":"14_CR13","DOI":"10.1007\/978-3-540-48480-6_31"},{"unstructured":"A. Pope. The Corba Reference Guide: Understanding the Common Object Request Broker Architecture. Addison-Wesley, 1998.","key":"14_CR14"},{"unstructured":"T. Reenskaug, P. Wold, and O. A. Lehne. Working with Objects: The OOram Software Engineering Method. Manning Publications, 1996.","key":"14_CR15"},{"key":"14_CR16","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, 1991."},{"unstructured":"B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.","key":"14_CR17"},{"doi-asserted-by":"crossref","unstructured":"S. Stepney, R. Barden, and D. Cooper. Object Orientation in Z. Springer-Verlag, 1992.","key":"14_CR18","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-Calculus. Information and Computation, 116:253\u2013271, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:35:09Z","timestamp":1737336909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}