{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:56Z","timestamp":1725486176400},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_3","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:25:02Z","timestamp":1180905902000},"page":"21-41","source":"Crossref","is-referenced-by-count":4,"title":["A New Type Checking Approach for OCL Version 2.0 ?"],"prefix":"10.1007","author":[{"given":"Andy","family":"Sch\u00fcrr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"issue":"2","key":"3_CR1","first-page":"106","volume":"19","author":"H. Ait-Kaci","year":"1987","unstructured":"H. Ait-Kaci, R. Boyer, P. Lincoln, and R. Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 19(2):106\u2013190, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR2","first-page":"121","volume-title":"Data Types and Persistence","author":"H. Ait-Kaci","year":"1989","unstructured":"H. Ait-Kaci and R. Nasr. Integrating data type inheritance into logic programming. In M.P. Atkinson, P. Buneman, and R. Morrison, editors, Data Types and Persistence, pages 121\u2013136. Springer Verlag, Berlin, 1989."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardell","year":"1985","unstructured":"L. Cardell and P. Wegner. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"ACM Computing Surveys"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"T. Clark. Typechecking UML static model. In [9], pages 503\u2013517, 1999.","DOI":"10.1007\/3-540-46852-8_36"},{"key":"3_CR5","unstructured":"St. Cook, A. Kleppe, and R. Mitchell et al. The Amsterdam manifesto on OCL. Technical report, 2000. http:\/\/www.trireme.com\/amsterdam\/manifesto-1-5.pdf (visited: 11\/07\/2000)."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, volume 2. World Scientific, Singapore, 1999.","DOI":"10.1142\/4180"},{"key":"3_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 3rd Int. Conf. Unified Modeling Language (UML\u20192000)","year":"2000","unstructured":"A. Evans and St. Kent, editors. Proc. 3rd Int. Conf. Unified Modeling Language (UML\u20192000), volume 1939 of Lecture Notes in Computer Science, Berlin, 2000. Springer Verlag."},{"key":"3_CR8","unstructured":"UML Revision Task Force. OMG unified modeling language specification v. 1.3, document ad\/99-06-08. Technical report, Object Management Group, 2000. http:\/\/www.omg.org\/uml\/ (visited: 07\/11\/2000)."},{"key":"3_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 2nd Int. Conf. Unified Modeling Language (UML\u201999)","year":"1999","unstructured":"R. France and B. Rumpe, editors. Proc. 2nd Int. Conf. Unified Modeling Language (UML\u201999), volume 1723 of Lecture Notes in Computer Science, Berlin, 1999. Springer Verlag."},{"key":"3_CR10","unstructured":"Martin Hitz and Gerti Kappel. UML@Work-Von der Analyse zur Realisierung. dpunkt.lehrbuch. dpunkt.verlag, Heidelberg, 1998."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In [7], pages 278\u2013293, 2000.","DOI":"10.1007\/3-540-40011-7_20"},{"key":"3_CR12","volume-title":"Entwurf einer objektorientierten Programmiersprache mit statischem Typkonzept und Parallelit\u00e4t","author":"M\u00fcller. J\u00f6rg-Volker","year":"1994","unstructured":"J\u00f6rg-Volker M\u00fcller. Entwurf einer objektorientierten Programmiersprache mit statischem Typkonzept und Parallelit\u00e4t. Shaker Verlag, Aachen, 1994."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"M. Richters and M. Gogolla. A metamodel for OCL. In [9], pages 156\u2013171, 1999.","DOI":"10.1007\/3-540-46852-8_12"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"M. Richters and M. Gogolla. Validating UML models and OCL constraints. In 9, pages 265\u2013277, 2000.","DOI":"10.1007\/3-540-40011-7_19"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Andy Sch\u00fcrr. Adding graph transformation concepts to uml\u2019s constraint language ocl. In J. Padberg, editor, appears in: Proc. UNIGRA Satellite Workshop of ETAPS 2001, Amsterdam, 2001. Elsevier Science Publ.","DOI":"10.1016\/S1571-0661(04)80946-0"},{"key":"3_CR16","unstructured":"Andy Sch\u00fcrr. New type checking rules for OCL (collection) expressions. 2001."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Andy Sch\u00fcrr, Andreas J. Winter, and Albert Z\u00fcndorf. PROGRES: Language and environment. In [6], pages 487\u2013550. 1999.","DOI":"10.1142\/9789812815149_0013"},{"key":"3_CR18","volume-title":"OCL: The Object Constraint Language-Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"J. Warmer and A. Kleppe. OCL: The Object Constraint Language-Precise Modeling with UML. Addison Wesley, New York, 1999."}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:58:09Z","timestamp":1556470689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}