{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T20:58:42Z","timestamp":1770411522800,"version":"3.49.0"},"reference-count":14,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80816-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"157-169","source":"Crossref","is-referenced-by-count":16,"special_numbering":"C","title":["Validating OCL Specifications with the USE Tool"],"prefix":"10.1016","volume":"80","author":[{"given":"Paul","family":"Ziemann","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB1","doi-asserted-by":"crossref","unstructured":"W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. H\u00e4hnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. de Guzm\u00e1n, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop on Logics in AI (JELIA), LNCS 1919, pages 21\u201336. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-40006-0_3"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB2","unstructured":"Boldsoft. The Boldsoft OCL Tool Model Run. www.boldsoft.com, Boldsoft, Stockholm, 2002."},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB3","series-title":"Object-Oriented Analysis and Design with Applications","author":"Booch","year":"1994"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB4","doi-asserted-by":"crossref","unstructured":"M. Gogolla and P. Ziemann. Checking BART Test Scenarios with UML's Object Constraint Language. In Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design. Kluwer Academic Publishers. To appear.","DOI":"10.1007\/1-4020-7997-4_5"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB5","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-40011-7_20"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB6","series-title":"Object-Oriented Software Engineering","author":"Jacobsen","year":"1992"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB7","unstructured":"OMG. OMG Unified Modeling Language Specification, Version 1.5, March 2003. Object Management Group, Inc., Framingham, Mass., Internet: http:\/\/www.omg.org, 2003."},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB8","unstructured":"M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universit\u00e4t Bremen, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002."},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB9","doi-asserted-by":"crossref","unstructured":"M. Richters and M. Gogolla. A Metamodel for OCL. In R. France and B. Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), pages 156\u2013171. Springer, Berlin, LNCS 1723, 1999.","DOI":"10.1007\/3-540-46852-8_12"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB10","series-title":"Advances in Object Modelling with the OCL","first-page":"43","article-title":"OCL - Syntax, Semantics and Tools","author":"Richters","year":"2001"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB11","series-title":"Object-Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB12","series-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer","year":"1998"},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB13","unstructured":"J. Warmer, A. Kleppe, T. Clark, A. Ivner, J. H\u00f6gstr\u00f6m, M. Gogolla, M. Richters, H. Hussmann, S. Zschaler, S. Johnston, D. S. Frankel, and C. Bock. Object Constraint Language 2.0. Technical report, Submission to the OMG, 2001."},{"key":"10.1016\/S1571-0661(04)80816-8_NEWBIB14","series-title":"High Integrity Software","author":"Winter","year":"2001"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808168?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808168?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:13:04Z","timestamp":1585897984000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":14,"alternative-id":["S1571066104808168"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80816-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}