Continuing a Benchmark for UML and OCL Design and Analysis Tools

UML and OCL are frequently employed languages in model-based engineering. OCL is supported by a variety of design and analysis tools having different scopes, aims and technological corner stones. The spectrum ranges from treating issues concerning formal proof techniques to testing approaches, from validation to verification, and from logic programming and rewriting to SAT-based technology.

[1]  Jordi Cabot,et al.  UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming , 2007, ASE.

[2]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[3]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[4]  Achim D. Brucker,et al.  HOL-OCL: A Formal Proof Environment for UML/OCL , 2008, FASE.

[5]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[6]  Robert B. France,et al.  Repository for Model Driven Development (ReMoDD) , 2006, 2012 34th International Conference on Software Engineering (ICSE).

[7]  Martin Gogolla,et al.  Initiating a Benchmark for UML and OCL Analysis Tools , 2013, TAP@STAF.

[8]  Jordi Cabot,et al.  EMFtoCSP: A tool for the lightweight verification of EMF models , 2012, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).

[9]  Artur Boronat,et al.  Algebraic Semantics of OCL-Constrained Metamodel Specifications , 2009, TOOLS.

[10]  Diego Calvanese,et al.  OCL-Lite: Finite reasoning on UML/OCL conceptual schemas , 2012, Data Knowl. Eng..

[11]  Jacques Julliand,et al.  Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests , 2011, ICTSS.

[12]  Edward D. Willink.  Re-engineering Eclipse MDT/OCL for Xtext , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[13]  Oszkár Semeráth,et al.  Iterative and Incremental Model Generation by Logic Solvers , 2016, FASE.

[14]  Manuel Clavel,et al.  Checking Unsatisfiability for OCL Constraints , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[15]  Toshiaki Aoki,et al.  SMT-based enumeration of object graphs from UML class diagrams , 2012, ACM SIGSOFT Softw. Eng. Notes.

[16]  Juri Di Rocco,et al.  Collaborative Repositories in Model-Driven Engineering [Software Technology] , 2015, IEEE Software.

[17]  Giorgio Orsi,et al.  Querying UML Class Diagrams , 2012, FoSSaCS.

[18]  Francisco Durán,et al.  Dynamic Validation of OCL Constraints with mOdCL , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[19]  Jordi Cabot,et al.  Lightweight String Reasoning for OCL , 2012, ECMFA.

[20]  Joanna Chimiak-Opoka,et al.  A Feature Model for an IDE4OCL , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[21]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2002, Sci. Comput. Program..

[22]  Robert Wille,et al.  Debugging of inconsistent UML/OCL models , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[23]  Jordi Cabot,et al.  Specifying Aggregation Functions in Multidimensional Models with OCL , 2010, ER.

[24]  Bernhard Beckert,et al.  The KeY system 1.0 (Deduction Component) , 2007, CADE.

[25]  Betty H. C. Cheng,et al.  Repository for model driven development (ReMoDD) , 2006, MoDELS'06.