{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:48:18Z","timestamp":1763178498176},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_10","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"118-133","source":"Crossref","is-referenced-by-count":13,"title":["A Formal Semantics for OCL 1.4"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Victoria","family":"Cengarle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"10_CR1","unstructured":"T. Baar and R. H\u00e4hnle. An Integrated Metamodel for OCL Types. In R. France, editor, Proc. OOPSLA\u20192000 Wsh. Refactoring the UML: In Search of the Core, Minneapolis, 2000."},{"key":"10_CR2","unstructured":"M. Bickford and D. Guaspari. Lightweight Analysis of UML. Draft NAS1-20335\/10, Odyssey Research Assoc., 1998. http:\/\/cgi.omg.org\/cgi-bin\/doc?ad\/98-10-01 ."},{"key":"10_CR3","unstructured":"M. V. Cengarle and A. Knapp. On the Expressive Power of Pure OCL. Technical Report 0101, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2001."},{"key":"10_CR4","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/3-540-46852-8_36","volume-title":"Proc. 2nd Int. Conf. UML","author":"T. Clark","year":"1999","unstructured":"T. Clark. Type Checking UML Static Diagrams. In R. B. France and B. Rumpe, editors, Proc. 2 nd Int. Conf. UML, volume 1723 of Lect. Notes Comp. Sci., pages 503\u2013517. Springer, Berlin, 1999."},{"key":"10_CR5","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-48737-9_2","volume-title":"Formal Syntax and Semantics of Java","author":"S. Drossopoulou","year":"1999","unstructured":"S. Drossopoulou and S. Eisenbach. Describing the Semantics of Java and Proving Typing Soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 41\u201382. Springer, Berlin, 1999."},{"key":"10_CR6","series-title":"Lect. Notes Comp. Sci.","volume-title":"Proc. 3nd Int. Conf. UML","year":"2000","unstructured":"A. Evans, S. Kent, and B. Selic, editors. Proc. 3 nd Int. Conf. UML, volume 1939 of Lect. Notes Comp. Sci. Springer, Berlin, 2000."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"A. Hami, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Proc. Asia Pacific Conf. Software Engineering. IEEE Press, 1998.","DOI":"10.1109\/APSEC.1998.733731"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"H. Hu\u00dfmann, B. Demuth, and F. Finger. Modular Architecture for a Toolset Supporting OCL. In Evans et al. [6], pages 278\u2013293.","DOI":"10.1007\/3-540-40011-7_20"},{"key":"10_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Mass., 1997."},{"key":"10_CR10","volume-title":"Foundations of Computing","author":"J. C. Mitchell","year":"1996","unstructured":"J. C. Mitchell. Foundations for Programming Languages. Foundations of Computing. MIT Press, Cambridge, Mass.-London, England, 1996."},{"key":"10_CR11","unstructured":"Object Management Group. Unified Modeling Language Specification, Version 1.4. Draft, OMG, 2001. http:\/\/cgi.omg.org\/cgi-bin\/doc?ad\/01-02-14 ."},{"key":"10_CR12","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Proc. 17th Int. Conf. Conceptual Modeling","author":"M. Richters","year":"1998","unstructured":"M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. In T. W. Ling, S. Ram, and M. L. Lee, editors, Proc. 17 th Int. Conf. Conceptual Modeling, volume 1507 of Lect. Notes Comp. Sci., pages 449\u2013464. Springer, Berlin, 1998."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"M. Richters and M. Gogolla. Validating UML Models and OCL Constraints. In Evans et al. [6], pages 265\u2013277.","DOI":"10.1007\/3-540-40011-7_19"},{"key":"10_CR14","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-45410-1","volume-title":"Advances in Object Modelling with the OCL","author":"M. Richters","year":"2001","unstructured":"M. Richters and M. Gogolla. OCL \u2014 Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, Lect. Notes Comp. Sci., pages 38\u201363. Springer, Berlin, 2001."},{"key":"10_CR15","unstructured":"A. Sch\u00fcrr. New Type Checking Rules for OCL (Collection) Expressions. In T. Clark and J. Warmer, editors, Proc. UML\u20192000 Wsh. UML 2.0 \u2014 The Future of OCL, York, 2000."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:45:13Z","timestamp":1556739913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}