{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:00Z","timestamp":1725518940072},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_32","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"446-459","source":"Crossref","is-referenced-by-count":8,"title":["A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"Mirco","family":"Kuhlmann","sequence":"additional","affiliation":[]},{"given":"Fabian","family":"B\u00fcttner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"O.M.G. (ed.): Object Constraint Language 2.0 (formal\/06-05-01). OMG (2006), \n                      \n                        http:\/\/www.omg.org","key":"32_CR1"},{"key":"32_CR2","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"unstructured":"ATL-Team: ATL Development Tools (2008), \n                      \n                        http:\/\/www.sciences.univ-nantes.fr\/lina\/atl\/atldemo\/adt","key":"32_CR3"},{"unstructured":"MDT-OCL-Team: MDT OCL (2008), \n                      \n                        http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl","key":"32_CR4"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-39866-0_35","volume-title":"Perspectives of System Informatics","author":"P. Ziemann","year":"2004","unstructured":"Ziemann, P., Gogolla, M.: Extended with Temporal Logic. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 351\u2013357. Springer, Heidelberg (2004)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., M\u00fcller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"unstructured":"Dresden-OCL-Team: Dresden OCL Toolkit (2008), \n                      \n                        http:\/\/dresden-ocl.sourceforge.net\/","key":"32_CR7"},{"unstructured":"Chiorean, D.: OCLE-Team: Object Constraint Language Environment 2.0 (2008), \n                      \n                        http:\/\/lci.cs.ubbcluj.ro\/ocle\/","key":"32_CR8"},{"unstructured":"Kleppe, A., Warmer, J.: Octopus: OCL Tool for Precise UML Specifications (2008), \n                      \n                        http:\/\/octopus.sourceforge.net\/","key":"32_CR9"},{"unstructured":"RoclET-Team: Welcome to RoclET (2008), \n                      \n                        http:\/\/www.roclet.org\/","key":"32_CR10"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"unstructured":"Kermeta-Team: Kermeta: Breathe Life into your Metamodels (2008), \n                      \n                        http:\/\/www.kermeta.org\/","key":"32_CR12"},{"unstructured":"Akehurst, D., Patrascoiu, O.: KMF (Kent Modeling Framework) OCL Library (2008), \n                      \n                        http:\/\/www.cs.kent.ac.uk\/projects\/ocl\/tools.html","key":"32_CR13"},{"unstructured":"Hein, C., Ritter, T., Wagner, M.: Open Source Library for OCL (OSLO) (2008), \n                      \n                        http:\/\/oslo-project.berlios.de\/","key":"32_CR14"},{"unstructured":"VMTS-Team: Visual Model and Transformation System (VMTS) (2008), \n                      \n                        http:\/\/vmts.aut.bme.hu\/","key":"32_CR15"},{"unstructured":"Gogolla, M., Kuhlmann, M., B\u00fcttner, F.: Sources for a Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency, pages 242 (2008), \n                      \n                        http:\/\/www.db.informatik.uni-bremen.de\/publications\/Gogolla_2008_BMSOURCES.pdf","key":"32_CR16"},{"unstructured":"B\u00fcttelmann, B., Hamann, L., Jolk, F., Sun, B., Wang, H., Xia, L.: Evaluating a Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency, pages 69 (2008), \n                      \n                        http:\/\/www.db.informatik.uni-bremen.de\/publications\/Buettelmann_2008_BMEVAL.pdf","key":"32_CR17"},{"unstructured":"Kuhlmann, M., Gogolla, M.: Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. In: Electronic Communications of the EASST, UML\/MoDELS Workshop on OCL (OCL4ALL 2007) , vol.\u00a09, pages 17 (2008), \n                      \n                        http:\/\/eceasst.cs.tu-berlin.de\/index.php\/eceasst","key":"32_CR18"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:59Z","timestamp":1619524259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}