{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:02:14Z","timestamp":1774602134135,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426677","type":"print"},{"value":"9783540454410","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_20","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"257-271","source":"Crossref","is-referenced-by-count":32,"title":["A Visualization of OCL Using Collaborations"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"20_CR1","unstructured":"M. Bodenm\u00fcller. The OCL Metamodel and the UML-OCL package. Proc. of OCL Workshop, Satellite Event of UML 2000, York, October 2000, 2000."},{"key":"20_CR2","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","author":"P. Bottoni","year":"2000","unstructured":"P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Automatic Consistency Checking and Visualization of OCL Constraints. In UML 2000, pages 294\u2013308. Springer LNCS 1939, 2000."},{"key":"20_CR3","unstructured":"S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and Wills A. The Amsterdam Manifesto on OCL. Technical Report tum-19925. Technical report, Tecnische Universit\u00e4t M\u00fcnchen, 1999."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"E. Hammer. Peircean graphs for propositional logic. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, pages 129\u2013147. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.003.0011"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, pages 299\u2013324, 2001.","DOI":"10.1006\/jvlc.2000.0210"},{"key":"20_CR6","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","author":"M. Hussmannn","year":"2000","unstructured":"M. Hussmannn, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and Selic B., editors, UML 2000, pages 278\u2013293. Springer LNCS 1939, 2000."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOPSLA\u201997. ACM Press, 1997.","DOI":"10.1145\/263698.263756"},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/3-540-46852-8_28","volume-title":"UML\u201999","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, pages 384\u2013398. Springer LNCS 1723, 1999."},{"key":"20_CR9","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","author":"M. Richters","year":"1999","unstructured":"M. Richters and M. Gogolla. A metamodel for OCL. In R. France and B. Rumpe, editors, UML\u201999, pages 156\u2013171. Springer LNCS 1723, 1999."},{"key":"20_CR10","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","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, pages 265\u2013277. Springer LNCS 1939, 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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T07:50:14Z","timestamp":1629532214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}