{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:33:38Z","timestamp":1725460418689},"publisher-location":"Boston","reference-count":13,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402079966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-7997-4_5","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T18:51:14Z","timestamp":1140202274000},"page":"133-170","source":"Crossref","is-referenced-by-count":2,"title":["Checking BART Test Scenarios with UML\u2019s Object Constraint Language"],"prefix":"10.1007","author":[{"given":"M.","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"P.","family":"Ziemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"[ABB+00]_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.P. 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":"5_CR2","volume-title":"The Boldsoft OCL Tool Model Run","author":"Boldsoft","year":"2002","unstructured":"Boldsoft. The Boldsoft OCL Tool Model Run. www.boldsoft.com, Boldsoft, Stockholm, 2002."},{"key":"5_CR3","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 1994."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"M. Gogolla and M. Richters. Development of UML Descriptions with USE. In A Min Tjoa, Hassan Shafazand, and K. Badie, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA\u20192002). Springer, Berlin, LNCS, 2002.","DOI":"10.1007\/3-540-36087-5_27"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In Andy Evans, Stuart Kent, and Bran 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":"5_CR6","unstructured":"I. Jacobsen, M. Christerson, P. Jonsson, and G. G. Overgaard. Object-Oriented Software Engineering. Addison-Wesley, 1992."},{"key":"5_CR7","unstructured":"OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document formal\/03-03-01, www.omg.org."},{"key":"5_CR8","volume-title":"Object-Oriented Modeling and Design","author":"[.R.B.P.+.9.1.]._.J. Rumbaugh","year":"1991","unstructured":"[RBP+91]_J. Rumbaugh, M. Blah, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"M. Richters and M. Gogolla. A Metamodel for OCL. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML\u201999), pages 156\u2013171. Springer, Berlin, LNCS 1723, 1999.","DOI":"10.1007\/3-540-46852-8_12"},{"key":"5_CR10","series-title":"Advances in Object Modelling with the OCL","first-page":"43","volume-title":"LNCS","author":"M. Richters","year":"2001","unstructured":"M. Richters and M. Gogolla. OCL-Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43\u201369. Springer, Berlin, LNCS 2263, 2001."},{"key":"5_CR11","unstructured":"M. Richters. A UML-based Specification Environment, 2001. http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE ."},{"key":"5_CR12","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"P. Ziemann and M. Gogolla. Validating OCL specifications with the USE tool-an example based on the BART case study. In Thomas Arts and Wan Fokkink, editors, Proc. 8th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS\u20192003), volume 80 of ENTCS. Elsevier, 2003.","DOI":"10.1016\/S1571-0661(04)80816-8"}],"container-title":["Formal Methods for Embedded Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7997-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:22:03Z","timestamp":1619554923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7997-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402079966"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7997-4_5","relation":{},"subject":[]}}