{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:11Z","timestamp":1725484451779},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540415138"},{"type":"electronic","value":"9783540445555"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44555-2_10","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:15:08Z","timestamp":1180329308000},"page":"113-122","source":"Crossref","is-referenced-by-count":4,"title":["Defining Precise Semantics for UML"],"prefix":"10.1007","author":[{"given":"Jean-Michel","family":"Bruel","sequence":"first","affiliation":[]},{"given":"Johan","family":"Lilius","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"10_CR1","unstructured":"Using profiles to re-architect the UML (Tony Clark, A. Evans, S. Kent)"},{"key":"10_CR2","unstructured":"Projection Diagram-The Unified Approach at a glance (A. Bhagwat)"},{"key":"10_CR3","unstructured":"Towards a Semantics for Behavioural Model Elements (R. J. Back, et al)"},{"key":"10_CR4","unstructured":"Building the Bridge between syntax and semantics of UML collaborations(M. Cibran, et al)"},{"key":"10_CR5","unstructured":"Dependency relations between UML models (C. Pons, et al)"},{"key":"10_CR6","unstructured":"Towards model checking OCL (D. Distefano, et al)"},{"key":"10_CR7","unstructured":"Mechanical analysis of UML statemachines and class diagrams (F. Kamm\u00fcller, S. Helke)"},{"key":"10_CR8","unstructured":"On types, instances, and classes in UML (G. Genilloud, A. Wegmann)"},{"key":"10_CR9","unstructured":"Defining precise semantics for UML (G. Fuster)"},{"key":"10_CR10","unstructured":"Towards an UML-based object-oriented modeling tool for an internet integrated formalization process (E. Grant, et al)"},{"key":"10_CR11","unstructured":"Using BOOM framework for formal specification of the UML (G. \u00d6vergaard)"},{"key":"10_CR12","unstructured":"Changing UML metamodel in order to represent concern separation (J. L. Herrero, et al)"},{"key":"10_CR13","unstructured":"Difficulties in defining Precise Semantics for UML (I. Ober)"},{"key":"10_CR14","unstructured":"Metamodels for Static Conceptual Modelling of Information Systems (R. Laleau, F. Polack)"},{"key":"10_CR15","unstructured":"An attempt to introduce OCL (M. Anlauf)"},{"key":"10_CR16","unstructured":"An Algebraic semantics for UML Supporting its multiview approach (G. Reggio, et al)"},{"key":"10_CR17","unstructured":"Semantics of relationships (J.-P. Rethore)"},{"key":"10_CR18","unstructured":"Category theoretic approaches of representing precise UML semantics (J. Smith, et al)."},{"key":"10_CR19","unstructured":"Formalization of the UML metamodel: an approach based upon the fourlayer metamodelling architecture (M. N. Terrasse)"},{"key":"10_CR20","unstructured":"On the relationship between UML sequence diagrams and state diagrams (J. Whittle)"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44555-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:49:23Z","timestamp":1550364563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44555-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540415138","9783540445555"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44555-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}