{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:54:02Z","timestamp":1648673642891},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T00:00:00Z","timestamp":1284422400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s10270-010-0174-8","type":"journal-article","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T07:53:14Z","timestamp":1284364394000},"page":"165-182","source":"Crossref","is-referenced-by-count":4,"title":["A benchmark for OCL engine accuracy, determinateness, and efficiency"],"prefix":"10.1007","volume":"11","author":[{"given":"Mirco","family":"Kuhlmann","sequence":"first","affiliation":[]},{"given":"Lars","family":"Hamann","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"Fabian","family":"B\u00fcttner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,14]]},"reference":[{"key":"174_CR1","unstructured":"OMG (ed.): Object constraint language 2.0 (formal\/06-05-01) (2006). http:\/\/www.omg.org"},{"key":"174_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"},{"key":"174_CR3","unstructured":"ATL-Team: ATL development tools (2008). http:\/\/www.sciences.univ-nantes.fr\/lina\/atl\/atldemo\/adt"},{"key":"174_CR4","unstructured":"MDT-OCL-Team: MDT OCL (2008). http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"174_CR5","unstructured":"Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: Proceedings of Ershov Memorial Conference. LNCS, vol. 2890, pp. 351\u2013357 (2003)"},{"key":"174_CR6","doi-asserted-by":"crossref","unstructured":"Flake, S., M\u00fcller, W.: An OCL extension for real-time constraints. In: Object Modeling with OCL. LNCS, vol. 2263, pp. 150\u2013171 (2002)","DOI":"10.1007\/3-540-45669-4_8"},{"key":"174_CR7","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/978-3-540-87875-9_32","volume-title":"Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u20192008). LNCS, vol. 5301","author":"M. Gogolla","year":"2008","unstructured":"Gogolla M., Kuhlmann M., B\u00fcttner F.: A benchmark for OCL engine accuracy, determinateness, and efficiency. In: Czarnecki, K. (eds) Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u20192008). LNCS, vol. 5301, pp. 446\u2013459. Springer, Berlin (2008)"},{"key":"174_CR8","unstructured":"Dresden-OCL-Team: Dresden OCL Toolkit (2008). http:\/\/dresden-ocl.sourceforge.net"},{"key":"174_CR9","unstructured":"Chiorean, D., OCLE-Team: Object constraint language environment 2.0 (2008). http:\/\/lci.cs.ubbcluj.ro\/ocle"},{"key":"174_CR10","unstructured":"Kleppe, A., Warmer, J.: Octopus: OCL tool for precise UML specifications (2008). http:\/\/octopus.sourceforge.net"},{"key":"174_CR11","unstructured":"RoclET-Team: Welcome to RoclET (2008). http:\/\/www.roclet.org"},{"key":"174_CR12","doi-asserted-by":"crossref","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. Sci. Comput. Program. 69, 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"174_CR13","unstructured":"Kermeta-Team: Kermeta: breathe life into your metamodels (2008). http:\/\/www.kermeta.org"},{"key":"174_CR14","unstructured":"Akehurst, D., Patrascoiu, O.: KMF (Kent Modeling Framework) OCL library (2008). http:\/\/www.cs.kent.ac.uk\/projects\/ocl\/tools.html"},{"key":"174_CR15","unstructured":"Hein, C., Ritter, T., Wagner, M.: Open source library for OCL (OSLO) (2008). http:\/\/oslo-project.berlios.de"},{"key":"174_CR16","unstructured":"VMTS-Team: Visual model and transformation system (VMTS) (2008). http:\/\/vmts.aut.bme.hu"},{"key":"174_CR17","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M., B\u00fcttner, F.: OCL benchmark (2010). http:\/\/www.db.informatik.uni-bremen.de\/publications\/OCLbench\/"},{"key":"174_CR18","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Building an efficient component for OCL evaluation. In: 8th OCL Workshop at the UML\/MoDELS Conferences: OCL Concepts and Tools (2008)"},{"key":"174_CR19","unstructured":"National Institute of Standards and Technology: Conformance Test Suite Software. http:\/\/www.itl.nist.gov\/div897\/ctg\/software.htm"},{"key":"174_CR20","unstructured":"Gray, M., Goldfine, A., Rosenthal, L., Carnahan, L.: Conformance testing. http:\/\/xml.coverpages.org\/conform20000112.html"},{"key":"174_CR21","doi-asserted-by":"crossref","unstructured":"Gaudel, M.C.: Testing can be formal, too. In: TAPSOFT \u201995: Proceedings of the 6th International Joint Conference CAAP\/FASE on Theory and Practice of Software Development, pp. 82\u201396. Springer, Berlin (1995)","DOI":"10.1007\/3-540-59293-8_188"},{"key":"174_CR22","doi-asserted-by":"crossref","unstructured":"Bunyakiati, P., Finkelstein, A., Rosenblum, D.: The certification of software tools with respect to software standards. 724\u2013729 (2007)","DOI":"10.1109\/IRI.2007.4296706"},{"key":"174_CR23","unstructured":"Afanasiev, L., Marx, M.: An analysis of the current XQuery benchmarks. In: International Workshop on Performance and Evaluation of Data Management Systems (EXPDB) (2006)"},{"key":"174_CR24","doi-asserted-by":"crossref","unstructured":"Sim, S.E., Easterbrook, S., Holt, R.C.: Using benchmarking to advance research: a challenge to software engineering. In: ICSE \u201903: Proceedings of the 25th International Conference on Software Engineering, pp. 74\u201383. IEEE Computer Society, Washington, DC (2003)","DOI":"10.1109\/ICSE.2003.1201189"},{"key":"174_CR25","doi-asserted-by":"crossref","unstructured":"Pfaller, C., Wagner, S., Gericke, J., Wiemann, M.: Multi-dimensional measures for test case quality. In: Software Testing Verification and Validation Workshop, 2008. ICSTW \u201908. IEEE International Conference on April 2008, pp. 364\u2013368","DOI":"10.1109\/ICSTW.2008.28"},{"key":"174_CR26","unstructured":"OMG (ed.): Object Constraint Language 2.2 - Beta 2 (ptc\/2009-05-02) (2009). http:\/\/www.omg.org ."},{"key":"174_CR27","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\u20192007), vol. 9, 17p. http:\/\/eceasst.cs.tu-berlin.de\/index.php\/eceasst (2008)"},{"issue":"4","key":"174_CR28","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla M., Bohling J., Richters M.: Validating UML and OCL models in USE by automatic snapshot generation. J. Softw. Syst. Model. 4(4), 386\u2013398 (2005)","journal-title":"J. Softw. Syst. Model."},{"key":"174_CR29","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-45669-4_3","volume-title":"Object Modeling with the OCL: The Rationale behind the Object Constraint Language","author":"A. Sch\u00fcrr","year":"2002","unstructured":"Sch\u00fcrr A.: A new type checking approach for OCL version 2.0?. In: Clark T. In: Warmer, J. (eds) Object Modeling with the OCL: The Rationale behind the Object Constraint Language, pp. 21\u201341. Springer, Berlin (2002)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0174-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0174-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0174-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T13:12:32Z","timestamp":1559653952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0174-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,14]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["174"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0174-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9,14]]}}}