Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)

This paper presents mOdCL, a Maude based evaluator of OCL expressions and validator of OCL constraints. Given its OCL expression evaluator, the use of execution strategies allows mOdCL, not only validating invariant constraints on concrete system states, but also dynamically validating invariants and preand post-conditions on the successive states obtained during system execution.

[1]  Jörg Rech,et al.  Model-Driven Software Development - Integrating Quality Assurance , 2008 .

[2]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[3]  Richard F. Paige,et al.  Metamodel-based model conformance and multiview consistency checking , 2007, TSEM.

[4]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[5]  Dan Ioan Chiorean,et al.  Ensuring UML Models Consistency Using the OCL Environment , 2004, Electron. Notes Theor. Comput. Sci..

[6]  Antonio Vallecillo,et al.  On the Behavioral Semantics of Real-Time Domain Specific Visual Languages , 2010, WRLA.

[7]  Mirko Seifert,et al.  Integrating OCL and Textual Modelling Languages , 2010, MoDELS Workshops.

[8]  Wei Tang,et al.  Meta Object Facility , 2009, Encyclopedia of Database Systems.

[9]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[10]  Narciso Martí-Oliet,et al.  Rewriting Logic as a Logical and Semantic Framework , 1996 .

[11]  Martin Gogolla,et al.  Improving Model Quality by Validating Constraints with Model Unit Tests , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[12]  Peter Csaba Ölveczky,et al.  The Maude Formal Tool Environment , 2007, CALCO.

[13]  Martin Gogolla,et al.  Aspect-Oriented Monitoring of UML and OCL Constraints , 2007 .

[14]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[15]  Michael Kifer,et al.  Querying object-oriented databases , 1992, SIGMOD '92.

[16]  Michael Altenhofen,et al.  OCL support in an industrial environment , 2006, MoDELS'06.

[17]  Ruth Breu,et al.  Model Validation in a Tool-Based Methodology for System Testing of Service-Oriented Systems , 2011 .

[18]  J. N. Buxton,et al.  Software engineering techniques , 1970 .

[19]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.

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

[21]  William E. Riddle.  The magic number eighteen plus or minus three: a study of software technology maturation , 1984, SOEN.

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

[23]  Martin Gogolla,et al.  Eighth International Workshop on OCL Concepts and Tools , 2008, MoDELS Workshops.

[24]  Edward D. Willink,et al.  Modeling the OCL Standard Library , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

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

[26]  David Thomas,et al.  The Pragmatic Programmer: From Journeyman to Master , 1999 .

[27]  Martin Gogolla,et al.  Proceedings of the Tenth International Workshop on Graph Transformation and Visual Modeling Techniques (gtvmt 2011) Exploring (meta-)model Snapshots by Combining Visual and Textual Techniques Exploring (meta-)model Snapshots by Combining Visual and Textual Techniques , 2022 .

[28]  Steffen Zschaler,et al.  A Role-Based Approach towards Modular Language Engineering , 2009, SLE.

[29]  David A. Basin,et al.  SSG: a model-based development environment for smart, security-aware GUIs , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[30]  Joanna Chimiak-Opoka,et al.  OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language , 2009, MoDELS.

[31]  MeseguerJosé.  Conditional rewriting logic as a unified model of concurrency , 1992 .

[32]  Christian Wende,et al.  A Framework for Generating Query Language Code from OCL Invariants , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[33]  José Meseguer,et al.  Membership algebra as a logical framework for equational specification , 1997, WADT.

[34]  Joanna Chimiak-Opoka,et al.  Requirements Analysis for an Integrated OCL Development Environment , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[35]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[36]  Dan Chiorean,et al.  How My Favorite Tool Supporting OCL Must Look Like , 2008 .

[37]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[38]  Alexander Knapp.  Generating Rewrite Theories from UML Collaborations , 2000 .

[39]  Jordi Cabot,et al.  Incremental integrity checking of UML/OCL conceptual schemas , 2009, J. Syst. Softw..

[40]  Martin Gogolla,et al.  Object Constraint Language , 2009, Encyclopedia of Database Systems.

[41]  Mourad Badri,et al.  Generating Maude Specifications From UML Use Case Diagrams , 2009, J. Object Technol..

[42]  Tetsuo Tamai,et al.  CAFE: An Industrial-Strength Algebraic Formal Method , 2000 .

[43]  Artur Boronat,et al.  Algebraic Specification of a Model Transformation Engine , 2006, FASE.

[44]  José Luis Fernández Alemán,et al.  Seamless Formalizing the UML Semantics through Metamodels , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[45]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[46]  Lionel C. Briand,et al.  Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java , 2005, MoDELS.

[47]  Shinpei Hayashi,et al.  Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages , 2009, MoDELS.

[48]  Christian Wende,et al.  Extending variability for OCL interpretation , 2010, MODELS'10.

[49]  Antonio Vallecillo,et al.  A graphical approach for modeling time-dependent behavior of DSLs , 2009, 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[50]  Larry L. Constantine.  Interaction Design and Model-Driven Development , 2009, MoDELS.

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

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

[53]  Antonio Vallecillo,et al.  Formal and Tool Support for Model Driven Engineering with Maude , 2007, J. Object Technol..

[54]  Philip A. Bernstein,et al.  Compiling mappings to bridge applications and databases , 2007, SIGMOD '07.

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

[56]  Torsten Grust,et al.  FERRY: database-supported program execution , 2009, SIGMOD Conference.

[57]  Paola Inverardi,et al.  Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings , 2008, FASE.