{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:19:47Z","timestamp":1742390387064},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461373834"},{"type":"electronic","value":"9781461552291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4615-5229-1_4","type":"book-chapter","created":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T20:07:08Z","timestamp":1362946028000},"page":"45-60","source":"Crossref","is-referenced-by-count":14,"title":["Meta-Modelling Semantics of UML"],"prefix":"10.1007","author":[{"given":"Andy","family":"Evans","sequence":"first","affiliation":[]},{"given":"Robert","family":"France","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Lano","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hu\u03b2mann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St\u00f8len. The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"4_CR2","volume-title":"ECOOP\u201997 Proceedings","author":"R Breu","year":"1997","unstructured":"Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a formalization of the unified modeling language. In Satoshi Matsuoka Mehmet Aksit, editor, ECOOP\u201997 Proceedings. Springer Verlag, LNCS 1241, 1997."},{"key":"4_CR3","volume-title":"UML\u201998-Beyond the notation","author":"J-M Bruel","year":"1998","unstructured":"J-M. Bruel and R.B. France. Transforming UML models to formal specifications. In UML\u201998-Beyond the notation, LNCS 1618. Springer-Verlag, 1998."},{"key":"4_CR4","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"4_CR5","volume-title":"UML\u201998 Proceedings","author":"A Evans","year":"1998","unstructured":"Andy Evans, Robert France, Kevin Lano, and Bernhard Rumpe. Developing the UML as a formal modelling notation. In Jean Bezivin and Pierre-Allain Muller, editors, UML\u201998 Proceedings. Springer-Verlag, LNCS 1618, 1998."},{"key":"4_CR6","unstructured":"A. S. Evans. Reasoning with UML class diagrams. In WIFT\u201998. IEEE Press, 1998."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces, 19,1998.","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"4_CR8","unstructured":"Object Management Group. OMG Unified Modeling Language Specification, version 1.3r2. found at: \n                  http:\/\/www.rational.org\n                  \n                \/uml. 1999."},{"key":"4_CR9","unstructured":"The pUML Group. The precise UML web site: http:\/\/www.cs.york.ac.uk\/puml. 1999."},{"key":"4_CR10","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"4_CR11","unstructured":"A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986."},{"key":"4_CR12","unstructured":"J.M. Spivey. The Z Reference Manual, 2nd Edition. Prentice Hall, 1992."}],"container-title":["Behavioral Specifications of Businesses and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-5229-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T05:40:35Z","timestamp":1557553235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-5229-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781461373834","9781461552291"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_4","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}