ACM/IEEE 17th International Conference on
Model Driven Engineering Languages and Systems
September 28 – October 3, 2014
Valencia (Spain)
OCL 2014 – 14th International Workshop on OCL and Textual Modeling: Applications and Case Studies
Workshop Proceedings
Achim D. Brucker, Carolina Dania, Geri Georg, and Martin Gogolla (Eds.)
Published on Oct 2014 v1.0
© 2014 fortheindividualpapersbythepapers’authors.Copyingpermittedforprivateandacademic
purposes. Re-publication of material from this volume requires permission by the copyright owners.
Editors’addresses:
Achim D. Brucker, SAP SE, Germany, [email protected]
Carolina Dania, IMDEA Software Institute, Spain, [email protected] Geri Georg, Colorado State University, USA, [email protected]
Martin Gogolla, University of Bremen, Germany, [email protected]
Organizers
Achim Brucker (co-chair) SAP SE (Germany)
Carolina Dania (co-chair) IMDEA Software Institute (Spain) Geri Georg (co-chair) Colorado State University (USA) Martin Gogolla (co-chair) University of Bremen (Germany)
Program Committee
Michael Altenhofen SAP SE (Germany)
Thomas Baar University of Applied Sciences Berlin (Germany) Mira Balaban Ben-Gurion University of the Negev (Israel)
Tricia Balfe Nomos Software (Ireland)
Fabian Buettner Ecole des Mines de Nantes (France)
Achim D. Brucker SAP SE (Germany)
Jordi Cabot INRIA-Ecole des Mines de Nantes (France) Yoonsik Cheon University of Texas (USA)
Dan Chiorean Babes-Bolyai University (Romania) Robert Clariso Universitat Oberta de Catalunya (Spain)
Tony Clark Middlesex University (UK)
Manuel Clavel IMDEA Software Institute (Spain) Carolina Dania IMDEA Software Institute (Spain)
Birgit Demuth Technische Universitat Dresden (Germany)
Marina Egea Atos Research (Spain)
Geri Georg Colorado State University, Fort Collins (USA) Martin Gogolla University of Bremen (Germany)
Pieter Van Gorp Eindhoven University of Technology (The Netherlands) Heinrich Hussmann LMU Munchen (Germany)
Tihamer Levendovszky Vanderbilt University (USA) Shahar Maoz Tel Aviv University (Israel)
Istvan Rath Budapest University of Technology and Economics (Hun- gary)
Bernhard Rumpe RWTH Aachen (Germany)
Shane Sendall Snowie Research SA (Switzerland)
Michael Wahler ABB Switzerland Ltd Corporate Research (Switzerland) Claas Wilke Technische Universitat Dresden (Germany)
Edward Willink Willink Transformations Ltd. (UK) Burkhart Wolff Univ Paris-Sud (France)
Steffen Zschaler King’s College London (UK)
Additional Reviewers
G´abor Bergmann G´abor Sz´arnyas Dimitri Plotnikov Igal Khitron Carsten Kolassa
Table of Contents
Preface . . . 1 Textual, executable, translatable UML . . . 3 Gergely D´eva, G´abor Ferenc Kov´acs, and ´Ad´am An
MQT, an Approach for Run-Time Query Translation: From EOL to SQL . . . 13 Xabier de Carlos, Goiuria Sagardui. and Salvador Trujillo
Incremental Checking of OCL Constraints through SQL Queries . . . 23 Xavier Oriol and Ernest Teniente
Validation of a Security Metamodel for the Development of Cloud Applications 33 Marcos Arjona, Carolina Dania, Marina Egea, and Antonio Ma˜na
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection . 43 Delphine Longuet, Fr´ed´eric Tuong, and Burkhart Wolff
Realizing Model Simplifications with QVT Operational Mappings . . . 53 Alexander Kraas
CdmCL, a Specific Textual Constraint Language for Common Data Model . . . 63 Ahmed Ahmed, Paola Vallejo, Mickael Kerboeuf, and Jean-Philippe Babau
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Appli- cation to Real-Time Embedded Systems . . . .
73 Fr´ed´eric Jouault and J´erˆome Delatour
Panel Discussion: Proposals for Improving OCL . . . 83 Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Fr´ed´eric Jouault, Ernest Teniente, and Burkhart Wolff
