{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:55:08Z","timestamp":1761580508753},"publisher-location":"Berlin, Heidelberg","reference-count":25,"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_6","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:25:02Z","timestamp":1180905902000},"page":"85-114","source":"Crossref","is-referenced-by-count":40,"title":["Expressing UML Class Diagrams Properties with OCL"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Richters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"issue":"10","key":"6_CR1","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R. Bourdeau","year":"1995","unstructured":"R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering, 21(10):799\u2013821, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/BFb0037414","volume-title":"A Formal Representation for State Diagrams in the OMT Methodology","author":"E. Bertino","year":"1996","unstructured":"E. Bertino, D. Castelli, and F. Vitale. A Formal Representation for State Diagrams in the OMT Methodology. In K.G. Jeffery, J. Kral, and M. Bartosek, editors, Proc. Seminar Theory and Practice of Informatics (SOFSEM\u201996), pages 327\u2013341. Springer, Berlin, LNCS 1175, 1996."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/BFb0053386","volume-title":"Towards a Formalization of the Unified Modeling Language","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 Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Conf. Object-Oriented Programming (ECOOP\u201997), pages 344\u2013366. Springer, Berlin, LNCS 1241, 1997."},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0053385","volume-title":"Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation","author":"J.C. Bicarregui","year":"1997","unstructured":"J.C. Bicarregui, Kevin Lano, and T.S.E. Maibaum. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Conf. Object-Oriented Programming (ECOOP\u201997), pages 324\u2013343. Springer, Berlin, LNCS 1241, 1997."},{"key":"6_CR5","unstructured":"Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 1994."},{"key":"6_CR6","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":"Tony Clark. Type checking UML static diagrams. In Robert France and Bernhard 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 503\u2013517. Springer, 1999."},{"key":"6_CR7","unstructured":"J\u00fcrgen Ebert. Integration of Z-Based Semantics of OO-Notations. In Haim Kilov and Bernhard Rumpe, editors, Proc. ECOOP\u201997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. Technische Universit\u00e4t M\u00fcnchen, Informatik-Bericht TUM-I9725, 1997."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"R. France, J.M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201997), pages 247\u2013260. Chapman and Hall, London, 1997.","DOI":"10.1007\/978-0-387-35261-9_17"},{"key":"6_CR9","unstructured":"Martin Gogolla and Francesco Parisi-Presicee. State Diagrams in UML: A Formal Semantics using Graph Transformations. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE\u201998 Workshop on Precise Semantics of Modeling Techniques (PSMT\u201998), 1998. http:\/\/www4.informatik.tu-muenchen.de\/?rumpe\/icse98-ws\/ ."},{"key":"6_CR10","unstructured":"Ivar Jacobsen, Magnus Christerson, Patrik Jonsson, and G.G. \u00d6vergaard. Object-Oriented Software Engineering. Addison-Wesley, 1992."},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","first-page":"83","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"K. Soon-Kyeong","year":"1999","unstructured":"Soon-Kyeong Kim and David Carrington. Formalizing the UML class diagram using object-z. In Robert France and Bernhard 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 83\u201398. Springer, 1999."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/(SICI)1096-9942(1996)2:4<247::AID-TAPO2>3.0.CO;2-R","volume":"2","author":"K. Lano","year":"1996","unstructured":"Kevin Lano. Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems, 2(4):247\u2013268, 1996.","journal-title":"Theory and Practice of Object Systems"},{"key":"6_CR13","unstructured":"OMG, editor. Object Constraint Language (Version 1.3). OMG, 1999. http:\/\/www.omg.org ."},{"key":"6_CR14","unstructured":"OMG, editor. UML Notation Guide (Version 1.3). OMG, 1999. http:\/\/www.omg.org ."},{"key":"6_CR15","unstructured":"OMG, editor. UML Semantics (Version 1.3). OMG, 1999. http:\/\/www.omg.org ."},{"key":"6_CR16","unstructured":"Gunnar \u00d6overgaard. A Formal Approach to Relationships in The Unified Modeling Language. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE\u201998 Workshop on Precise Semantics of Modeling Techniques (PSMT\u201998), 1998. http:\/\/www4.informatik.tu-muenchen.de\/?rumpe\/icse98-ws\/ ."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Analysing UML active classes and associated state machines-A lightweight formal approach","author":"G. Reggio","year":"2000","unstructured":"Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann. Analysing UML active classes and associated state machines-A lightweight formal approach. In Tom Maibaum, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, volume 1783 of LNCS. Springer, 2000."},{"key":"6_CR18","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991."},{"key":"6_CR19","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":"Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998), pages 449\u2013464. Springer, Berlin, LNCS 1507, 1998."},{"key":"6_CR20","unstructured":"M. Shro and R. B. France. Towards a Formalization of UML Class Structures in Z. In Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC\u201997), pages 646\u2013651. IEEE, 1997."},{"key":"6_CR21","unstructured":"A. Tsiolakis and H. Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In H. Ehrig and G. Taentzer, editors, Proc. of Joint APPLIGRAPH\/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000, 2000. Technical Report no. 2000\/2, Technical University of Berlin."},{"key":"6_CR22","unstructured":"Roel Wieringa and Jan Broersen. A minimal transition system semantics for lightweight class-and behavior diagrams. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT\u201998 Workshop on Precise Semantics for Modeling Techniques. Technische Universit\u00e4t M\u00fcnchen, TUM-I9803, 1998."},{"key":"6_CR23","unstructured":"Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."},{"key":"6_CR24","unstructured":"Jos Warmer and Anneke Kleppe. OCL: The constraint language of the UML. Journal of Object-Oriented Programming, May 1999."},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Enoch Y. Wang, Heather A. Richter, and Betty H. C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proc. 19th Int. Conf. on Software Engineering (ICSE\u201997), pages 45\u201355. ACM Press, 1997.","DOI":"10.1145\/253228.253239"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:58:11Z","timestamp":1556470691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}