{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:57Z","timestamp":1725486177490},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_12","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:25:02Z","timestamp":1180905902000},"page":"228-249","source":"Crossref","is-referenced-by-count":5,"title":["Constraint Trees"],"prefix":"10.1007","author":[{"given":"Stuart","family":"Kent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Howse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"12_CR1","unstructured":"A. Clark, A. Evans, R. France, S. Kent, and B. Rumpe. The puml response to the omg uml 2.0 rfi. Available from http:\/\/www.puml.org\/ , December 1999."},{"key":"12_CR2","unstructured":"A. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook. A feasibility study in rearchitecting uml as a family of languages using a precise oo metamodeling approach. http:\/\/www.puml.org\/mmt.zip , September 2000."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","volume-title":"The meta-modeling language calculus: Foundation semantics for uml","author":"A. Clark","year":"2001","unstructured":"A. Clark, A. Evans, and S. Kent. The meta-modeling language calculus: Foundation semantics for uml. In ETAPS FASE Conference 2001, LNCS. Springer-Verlag, April 2001."},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-46852-8_11","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"A. Evans","year":"1999","unstructured":"A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. 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 140\u2013155. Springer, 1999."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"S. Kent. Constraint Diagrams: Visualizing Invariants in OO Modelling. In Proceedings of OOPSLA97, pages 327\u2013341. ACM Press, October 1997.","DOI":"10.1145\/263700.263756"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"S. Kent and Y. Gil. Visualising Action Contracts in OO Modelling. In IEE Proceedings: Software, number 2\u20133 in 145, pages 70\u201378, April 1998.","DOI":"10.1049\/ip-sen:19986036"},{"key":"12_CR7","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-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. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, volume 1723 of LNCS, pages 384\u2013398. Springer, 1999."},{"key":"12_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Validating UML models and OCL constraints","author":"M. Richters","year":"2000","unstructured":"M. Richters and M. Gogolla. Validating UML models and OCL constraints. In A. Evans and S. Kent, editors, The Third International Conference on the Unified Modeling Language (UML\u20192000), York, UK, October 2\u20136. 2000, Proceedings, LNCS. Springer, 2000."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1006\/jvlc.1997.0047","volume":"8","author":"S. Yang","year":"1997","unstructured":"S. Yang, M. Burnett, E. Dekoven, and M. Zloof. Representation design benchmarks: A design-time aid for vpl navigable static representations. Journal of Visual Languages and Computing, 8:563\u2013599, 1997.","journal-title":"Journal of Visual Languages and Computing"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:58:01Z","timestamp":1556470681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}