{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:38:00Z","timestamp":1760027880766},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_4","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:25:02Z","timestamp":1180905902000},"page":"42-68","source":"Crossref","is-referenced-by-count":42,"title":["OCL: Syntax, Semantics, and Tools"],"prefix":"10.1007","author":[{"given":"Mark","family":"Richters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"4_CR1","unstructured":"T. Baar and R. H\u00e4hnle. An integrated metamodel for OCL types. In R. France, B. Rumpe, J.-M. Bruel, A. Moreira, J. Whittle, and I. Ober, editors, Proc. OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA, 2000., 2000."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"T. Baar, R. H\u00e4hnle, T. Sattler, and P. H. Schmitt. Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. In K. Mehlhorn and G. Snelting, editors, Informatik 2000, 30. Jahrestagung der Gesellschaft f\u00fcr Informatik, pages 389\u2013404, Sept. 2000.","DOI":"10.1007\/978-3-642-58322-3_30"},{"key":"4_CR3","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-40011-7_21","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard","author":"P. Bottoni","year":"2000","unstructured":"P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 294\u2013308. Springer, 2000."},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/3-540-46852-8_36","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"T. Clark","year":"1999","unstructured":"T. Clark. Type checking UML static diagrams. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, itCO, USA, October 28\u201330. 1999, Proceedings, volume 1723 of LNCS, pages 503\u2013517. Springer, 1999."},{"key":"4_CR6","unstructured":"S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and A. Wills. The Amsterdam manifesto on OCL. Technical Report TUM-I9925, Technische Universit\u00e4t M\u00fcnchen, Dec. 1999."},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/3-540-46852-8_27","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"S. Cook","year":"1999","unstructured":"S. Cook, A. Kleppe, R. Mitchell, J. Warmer, and A. Wills. Defining the context of OCL expressions. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, volume 1723 of LNCS, pages 372\u2013383. Springer, 1999."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"D. Distefano, J.-P. Katoen, and A. Rensink. On a temporal logic for object-based systems. In S. F. Smith and C. L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV-Proc. FMOODS\u20192000, September, 2000, Stanford, California, USA. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-0-387-35520-7_16"},{"key":"4_CR9","unstructured":"F. Finger. Design and implementation of a modular OCL compiler. Diplomarbeit, Dresden University of Technology, Department of Computer Science, Software Engineering Group, Germany, Mar. 2000."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-642-48673-9_8","volume-title":"The Unified Modeling Language-Technical Aspects and Applications","author":"M. Gogolla","year":"1998","unstructured":"M. Gogolla and M. Richters. On constraints and queries in UML. In M. Schader and A. Korthaus, editors, The Unified Modeling Language-Technical Aspects and Applications, pages 109\u2013121. Physica-Verlag, Heidelberg, 1998."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Hamie, F. Civello, J. Howse, S. Kent, and R. Mitchell. Reflections on the Object Constraint Language. In J. B\u00e9zivin and P.-A. Muller, editors, The Unified Modeling Language, UML\u201998-Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 137\u2013145, 1998.","DOI":"10.1007\/978-3-540-48480-6_13"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An Axiomatic Basis of Computer Programming. Communications of the ACM, 12:576\u2013580, 1969.","journal-title":"Communications of the ACM"},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-40011-7_20","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard","author":"H. Hussmann","year":"2000","unstructured":"H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 278\u2013293. Springer, 2000."},{"key":"4_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard","author":"A. Kleppe","year":"2000","unstructured":"A. Kleppe and J. Warmer. Extending OCL to include actions. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 440\u2013450. Springer, 2000."},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1007\/3-540-48119-2_47","volume-title":"FM\u201999-Formal Methods","author":"L. Mandel","year":"1999","unstructured":"L. Mandel and M. V. Cengarle. On the expressive power of OCL. In FM\u201999-Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I, volume 1708 of LNCS, pages 854\u2013874. Springer, 1999."},{"key":"4_CR16","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997."},{"key":"4_CR17","unstructured":"OMG. Object Constraint Language Specification. In OMG Unified Modeling Language Specification, Version 1.3, June 1999 [19], chapter 7."},{"key":"4_CR18","unstructured":"OMG, editor. OMG Unified Modeling Language Specification, Version 1.3, June 1999. Object Management Group, Inc., Framingham, Mass., Internet: http:\/\/www.omg.org , 1999."},{"key":"4_CR19","unstructured":"S. Ramakrishnan and J. McGregor. Extending OCL to support temporal operators. In Proceedings of the 21st InternationalConfer ence on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, LA, May 16\u201322, 1999, 1999."},{"key":"4_CR20","unstructured":"M. Richters. The USE tool: A UML-based specification environment, 2001. http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/ ."},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","first-page":"449","volume-title":"On formalizing the UML Object Constraint Language OCL","author":"M. Richters","year":"2004","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. 17th Int. Conf. ConceptualMo deling (ER\u201998), volume 1507 of LNCS, pages 449\u2013464. Springer, 1998."},{"key":"4_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-46852-8_12","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"M. Richters","year":"1999","unstructured":"M. Richters and M. Gogolla. A metamodel for OCL. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, volume 1723 of LNCS, pages 156\u2013171. Springer, 1999."},{"key":"4_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"M. Richters and M. Gogolla. Validating UML models and OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 265\u2013277. Springer, 2000."},{"key":"4_CR24","unstructured":"J. Robbins et al. Argo\/UML CASE tool, 2001. http:\/\/www.argouml.org ."},{"key":"4_CR25","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998."},{"key":"4_CR26","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard","author":"S. Sendall","year":"2000","unstructured":"S. Sendall and A. Strohmeier. From use cases to system operation specifications. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 1\u201315. Springer, 2000."},{"key":"4_CR27","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."},{"key":"4_CR28","unstructured":"M. Wittmann. Ein Interpreter f\u00fcr OCL. Master\u2019s thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:58:08Z","timestamp":1556470688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}