{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:36:11Z","timestamp":1755794171048},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389153"},{"type":"electronic","value":"9783642389160"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38916-0_7","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T02:13:47Z","timestamp":1370830427000},"page":"115-132","source":"Crossref","is-referenced-by-count":15,"title":["Initiating a Benchmark for UML and OCL Analysis Tools"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"Fabian","family":"B\u00fcttner","sequence":"additional","affiliation":[]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Bernhard, K.: Aichernig and Percy Antonio\u00a0Pari Salas. Test Case Generation by OCL Mutation and Constraint Solving. In: QSIC, pp. 64\u201371. IEEE Computer Society (2005)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and System Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and System Modeling"},{"key":"7_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-73595-3_26","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Beckert","year":"2007","unstructured":"Beckert, B., Giese, M., H\u00e4hnle, R., Klebanov, V., R\u00fcmmer, P., Schlager, S., Schmitt, P.H.: The KeY system 1.0 (Deduction Component). In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 379\u2013384. Springer, Heidelberg (2007)"},{"key":"7_CR4","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-02571-6_7","volume-title":"Objects, Components, Models and Patterns","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Meseguer, J.: Algebraic Semantics of OCL-Constrained Metamodel Specifications. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 96\u2013115. Springer, Heidelberg (2009)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-78743-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"A.D. Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 97\u2013100. Springer, Heidelberg (2008)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-31491-9_19","volume-title":"Modelling Foundations and Applications","author":"F. B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Cabot, J.: Lightweight String Reasoning for OCL. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 244\u2013258. Springer, Heidelberg (2012)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A Tool for the Formal Verification of UML\/OCL Models using Constraint Programming. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) ASE, pp. 547\u2013548. ACM (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"7_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-74782-6_5","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing","author":"M. Cadoli","year":"2007","unstructured":"Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS (LNAI), vol.\u00a04733, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-28729-9_1","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Orsi, G., Pieris, A.: Querying UML Class Diagrams. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol.\u00a07213, pp. 1\u201325. Springer, Heidelberg (2012)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-24580-0_4","volume-title":"Testing Software and Systems","author":"K. Cabrera Castillos","year":"2011","unstructured":"Cabrera Castillos, K., Dadeau, F., Julliand, J., Taha, S.: Measuring Test Properties Coverage for Evaluating UML\/OCL Model-Based Tests. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 32\u201347. Springer, Heidelberg (2011)"},{"key":"7_CR11","unstructured":"Chimiak-Opoka, J.D., Demuth, B.: A Feature Model for an IDE4OCL. ECEASST\u00a036 (2010)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11784180_28","volume-title":"Algebraic Methodology and Software Technology","author":"M. Clavel","year":"2006","unstructured":"Clavel, M., Egea, M.: ITP\/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 368\u2013373. Springer, Heidelberg (2006)"},{"key":"7_CR13","first-page":"1","volume":"24","author":"M. Clavel","year":"2009","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Checking Unsatisfiability for OCL Constraints. Electronic Communications of the EASST\u00a024, 1\u201313 (2009)","journal-title":"Electronic Communications of the EASST"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Gogolla, M., B\u00fcttner, F., Cabot, J.: Initiating a Benchmark for UML and OCL Analysis Tools: Additional Material. Technical report, University of Bremen (2013), \n                  \n                    http:\/\/www.db.informatik.uni-bremen.de\/publications\/intern\/GBC2013addon.pdf","DOI":"10.1007\/978-3-642-38916-0_7"},{"key":"7_CR15","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"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gonzalez, C.A., B\u00fcttner, F., Clariso, R., Cabot, J.: EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. In: Gnesi, S., Gruner, S., Plat, N., Rumpe, B. (eds.) Proc. ICSE 2012 Workshop Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA (2012)","DOI":"10.1109\/FormSERA.2012.6229788"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0167-6423(02)00032-1","volume":"44","author":"H. Hu\u00dfmann","year":"2002","unstructured":"Hu\u00dfmann, H., Demuth, B., Finger, F.: Modular Architecture for a Toolset Supporting OCL. Sci. Comput. Program.\u00a044(1), 51\u201369 (2002)","journal-title":"Sci. Comput. Program."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2004.09.027","volume":"115","author":"M. Kyas","year":"2005","unstructured":"Kyas, M., Fecher, H., de Boer, F.S., Jacob, J., Hooman, J., van der Zwaag, M., Arons, T., Kugler, H.: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci.\u00a0115, 39\u201347 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-72901-3_2","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A. Maraee","year":"2007","unstructured":"Maraee, A., Balaban, M.: Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 17\u201331. Springer, Heidelberg (2007)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite Reasoning on UML\/OCL Conceptual Schemas. Data Knowl. Eng.\u00a073, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"7_CR21","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Dynamic Validation of OCL Constraints with mOdCL. ECEASST\u00a044 (2011)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Schleipen, M.: A Concept for Conformance Testing of AutomationML Models by Means of Formal Proof using OCL. In: ETFA, pp. 1\u20135. IEEE (2010)","DOI":"10.1109\/ETFA.2010.5641270"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Wille, R., Soeken, M., Drechsler, R.: Debugging of Inconsistent UML\/OCL Models. In: Rosenstiel, W., Thiele, L. (eds.) DATE, pp. 1078\u20131083. IEEE (2012)","DOI":"10.1109\/DATE.2012.6176655"},{"key":"7_CR24","unstructured":"Willink, E.D.: Re-Engineering Eclipse MDT\/OCL for Xtext. ECEASST\u00a036 (2010)"},{"issue":"4","key":"7_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2237796.2237812","volume":"37","author":"K. Yatake","year":"2012","unstructured":"Yatake, K., Aoki, T.: SMT-Based Enumeration of Object Graphs from UML Class Diagrams. ACM SIGSOFT Software Engineering Notes\u00a037(4), 1\u20138 (2012)","journal-title":"ACM SIGSOFT Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38916-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:22:38Z","timestamp":1557793358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38916-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389153","9783642389160"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38916-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}