OCL 2014 - 14th International Workshop on OCL and Textual Modeling: Applications and Case Studies Workshop Proceedings ‎Achim D. Brucker 0 1 2 Carolina Dania carolina.dania@imdea.org 0 1 2 Geri Georg georg@cs.colostate.edu 0 1 2 Martin Gogolla (Eds.) gogolla@informatik.uni-bremen.de 0 1 2 Carolina Dania, IMDEA Software Institute , Spain Geri Georg, Colorado State University , USA Martin Gogolla, University of Bremen , Germany -

© 2014 for‎the‎individual‎papers‎by‎the‎papers’‎authors.‎Copying‎permitted‎for‎private‎and‎academic‎ purposes. Re-publication of material from this volume requires permission by the copyright owners. Editors’‎addresses:

 Achim Brucker (co-chair) Carolina Dania (co-chair) Geri Georg (co-chair) Martin Gogolla (co-chair)

Program Committee

 Michael Altenhofen Thomas Baar Mira Balaban Tricia Balfe

Fabian Buettner Achim D. Brucker Jordi Cabot Yoonsik Cheon Dan Chiorean Robert Clariso Tony Clark Manuel Clavel Carolina Dania Birgit Demuth Marina Egea Geri Georg Martin Gogolla Pieter Van Gorp Heinrich Hussmann Tihamer Levendovszky Shahar Maoz Istvan Rath

 SAP SE (Germany) IMDEA Software Institute (Spain) Colorado State University (USA) University of Bremen (Germany)

Additional Reviewers

 Gabor Bergmann

Gabor Szarnyas Dimitri Plotnikov Igal Khitron Carsten Kolassa Textual, executable, translatable UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Gergely Deva, Gabor Ferenc Kovacs, and Adam An MQT, an Approach for Run-Time Query Translation: From EOL to SQL . . . . . . Xabier de Carlos, Goiuria Sagardui. and Salvador Trujillo Incremental Checking of OCL Constraints through SQL Queries . . . . . . . . . . . . . . . Xavier Oriol and Ernest Teniente Validation of a Security Metamodel for the Development of Cloud Applications Marcos Arjona, Carolina Dania, Marina Egea, and Antonio Man~a Towards a Tool for Featherweight OCL: A Case Study On Semantic Re ection . Delphine Longuet, Frederic Tuong, and Burkhart Wol Realizing Model Simpli cations with QVT Operational Mappings . . . . . . . . . . . . . . Alexander Kraas CdmCL, a Speci c Textual Constraint Language for Common Data Model . . . . . Ahmed Ahmed, Paola Vallejo, Mickael Kerboeuf, and Jean-Philippe Babau Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Frederic Jouault and Jer^ome Delatour Panel Discussion: Proposals for Improving OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frederic Jouault, Ernest Teniente, and Burkhart Wol 1 3 13 23 33 43 53 63 73 83