Modelling started out with UML and its precursors as a graphical notation. However, graphical notations were found to have limitations in terms of specifying detailed aspects of a system design and in terms of processing and managing models. Limitations in using graphical languages include: specifying detailed behaviour; linking models to other traditional languages; making models executable; model transformation; extensions to modelling languages; model management. Many of these limitations have been addressed in recent years by proposals for textual modelling languages (e.g. theres is a growing number of tools to textually define UML models ) that either integrate with or replace graphical notations for modelling. Typical examples of such languages are OCL, textual MOF, Epsilon, Alloy etc.
The motivation for this workshop is to bring together researchers and practitioners in textual modelling to report advances in the field, to share results, to identify common areas and potential for integration, and to identify common tools for developing textual modelling languages, with a view to advancing the state-of-the art. In particular the workshop will provide a forum for existing textual modelling standards such as OCL to be debated and the intention is that the workshop will engage with the appropriate standards bodies to disseminate practitioner requirements and to report research results.
Program – 3rd October
09.30-10.30 Session: OCL Integration and Tooling
- 09.30-09.50 Re-engineering Eclipse MDT/OCL for Xtext. Edward Willink.
- 09.50-10.10 Integrating OCL and Textual Modelling Languages. Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Michael Thiele, Christian Wende and Claas Wilke.
- 10.10-10.30 A Feature Model for an IDE4OCL. Joanna Chimiak-Opoka and Birgit Demuth.
11.00-12.30 Session: OCL Foundations and Applications
- 11.00-11.20 A Specification-based Test Case Generation Method for UML/OCL. Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff.
- 11.20-11.40 MySQL-OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Marina Egea, Carolina Dania and Manuel Clavel.
- 11.40-12.00 Navigating Across Non-Navigable Ecore References via OCL. Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger and Stephan Hildebrandt.
- 12.00-12.20 Towards a Conceptual Framework Supporting Model Compilability. Dan Chiorean and Vladiela Petrascu.
14.00-15.30 Session: Textual Modelling
- 14.00-14.20 Verified Visualisation of Textual Modelling Languages. Fintan Fairmichael and Joseph Kiniry.
- 14.20-14.40 Support for Bidirectional Model-to-Text Transformations. Anthony Anjorin, Marius Lauder, Michael Schlereth and Andy Schürr.
- 14.40-15.00 An Overview of F-OML: An F-Logic Based Object Modeling Language. Mira Balaban and Michael Kifer.
- 15.00-15.10 Short Presentation: On the Need of User-defined Libraries in OCL. Thomas Baar.
16:00-17:30 Discussion session
- 16.00-16.30 Invited Presentation: Evolution of the OCL OMG Specification. Mariano Belaunde.
- 16.30-17.30 Discussion: An Action Plan for OCL and other topics identified during the workshop.