{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215947},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411338"},{"type":"electronic","value":"9783540400110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40011-7_21","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T02:00:22Z","timestamp":1194228022000},"page":"294-308","source":"Crossref","is-referenced-by-count":26,"title":["Consistency Checking and Visualization of OCL Constraints"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"P. Bottoni, M. Koch, F. Parisi-Presicce, G. Taentzer. Consistency Checking and Visualization of OCL Constraints. Technical Report, University of Rome, SI-2000-03, 2000.","DOI":"10.1007\/3-540-40011-7_21"},{"key":"21_CR2","unstructured":"S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills, The Amsterdam Manifesto on OCL, Technische Universit\u00c4t M\u00fcnchen, TUMI9925, 1999."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.","DOI":"10.1142\/4180"},{"key":"21_CR4","unstructured":"A. S. Evans, \u201cReasoning with UML class diagrams\u201d, Workshop on Industrial Strength Formal Methods, WIFT\u201998, IEEE Press, 1998."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Y. Gil, J. Howse, S. Kent, \u201cFormalizing Spider Diagrams\u201d, Proc. IEEE Symp. on Visual Languages\u2019 99, 130\u2013137, IEEE CS Press, 1999.","DOI":"10.1109\/VL.1999.795884"},{"key":"21_CR6","unstructured":"M. Goedicke, T. Meyer, and G. Taentzer. Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies. In Proc. 4th IEEE International Symposium on Requirements Engineering (RE\u201999), June 7-11, 1999, University of Limerick, Ireland. IEEE Computer Society, 1999. ISBN 0-7695-0188-5."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"J. Howse, F. Molina, S. Kent, J. Taylor, \u201cReasoning with Spider Diagrams\u201d, Proc. IEEE Symp. on Visual Languages\u2019 99, 138\u2013145, IEEE CS Press, 1999.","DOI":"10.1109\/VL.1999.795885"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"S. Kent, \u201cConstraint Diagrams: Visualizing Invariants in Object-Oriented Models\u201d, Proc. OOPSLA\u2019 97, 327\u2013341, 1997.","DOI":"10.1145\/263698.263756"},{"key":"21_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-46852-8_28","volume-title":"UML\u201999-The Unified Modeling Language, Beyond the Standard","author":"S. Kent","year":"1999","unstructured":"S. Kent and J. Howse. Mixing visual and textual constraint languages. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language, Beyond the Standard, pages 156\u2013171. Springer LNCS 1723, 1999."},{"key":"21_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"On Formalizing the UML Object Constraint Language OCL","author":"M. Richters","year":"1998","unstructured":"M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998), pages 449\u2013464. Springer LNCS 1507, 1998."},{"key":"21_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","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, pages 156\u2013171. Springer LNCS 1723, 1999."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 1997.","DOI":"10.1142\/9789812384720"},{"key":"21_CR13","unstructured":"G. Taentzer, I. Fischer, M Koch, and V. Volle. Visual design of distributed systems by graph transformation. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 1999."},{"key":"21_CR14","unstructured":"Rational Software Cooperation. Unified Modeling Language \u2014 version 1.3. Available at http:\/\/www.rational.com , 1999."},{"key":"21_CR15","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2000 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40011-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:08:45Z","timestamp":1556932125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40011-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411338","9783540400110"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40011-7_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}