14th International Workshop on OCL and Textual Modeling

Applications and Case Studies (OCL 2014)

Co-located with ACM/IEEE 17th International Conference on

Model Driven Engineering Languages and Systems (MODELS 2014)

Program

Each paper will have 20 minutes of presentation and 10 minutes of discussion time.

9:00-10:30. Session 1: Translating (Textual) Specifications

• Textual, executable, translatable UML. Gergely Déva, Gábor Ferenc Kovács and Ádám An. slides
• MQT, an Approach for Run-Time Query Translation: From EOL to SQL. Xabier de Carlos, Goiuria Sagardui and Salvador Trujillo. slides
• Incremental Checking of OCL Constraints through SQL Queries. Xavier Oriol and Ernest Teniente. slides
10:30-11:00. Break
11:00-12:30. Session 2: Validation, Formal Semantics, and Tools

• Validation of a Security Metamodel for the Development of Cloud Applications. Marcos Arjona, Carolina Dania, Marina Egea and Antonio Maña. slides
• Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. Delphine Longuet, Frédéric Tuong and Burkhart Wolff. slides
• Realizing Model Simplifications with QVT Operational Mappings. Alexander Kraas. slides
12:30-14:00. Lunch
14:00-15:30. Session 3: Improving the Usability of OCL and OCL Tools

• Embedded OCL Integration and Debugging. Edward Willink. slides
• cdmCL, a Specific Textual Constraint Language for Common Data Model. Ahmed Ahmed, Paola Vallejo, Mickael Kerboeuf and Jean-Philippe Babau. slides
• Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. Frédéric Jouault and Jérôme Delatour. slides
15:30-16:00. Break
16:00-18:00. Session 4: Pannel Discussion "Proposals on Improving OCL".

Panelists: A. D. Brucker, T. Clark, M. Gogolla, F. Jouault, E. Tenient, and B. Wolff.
Slides: frame. lambaExpressions. downcasts. activeOperations. subsetting. patters.
18:00-18:30. OCL 2.5 Plans. Edward Willink. slides

Accepted Papers

• Ahmed Ahmed, Paola Vallejo, Mickael Kerboeuf and Jean-Philippe Babau. cdmCL, a Specific Textual Constraint Language for Common Data Model. pdf.
• Marcos Arjona, Carolina Dania, Marina Egea and Antonio Maña. Validation of a Security Metamodel for the Development of Cloud Applications. pdf.
• Xabier de Carlos, Goiuria Sagardui and Salvador Trujillo. MQT, an Approach for Run-Time Query Translation: From EOL to SQL. pdf.
• Gergely Dévai, Gábor Ferenc Kovács and Ádám Ancsin. Textual, executable, translatable UML. pdf.
• Frédéric Jouault and Jérôme Delatour. Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. pdf.
• Alexander Kraas. Realizing Model Simplifications with QVT Operational Mappings. pdf.
• Delphine Longuet, Frédéric Tuong and Burkhart Wolff. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. pdf.
• Xavier Oriol and Ernest Teniente. Incremental Checking of OCL Constraints through SQL Queries. pdf.