Workshop Program

🕤14:30 - 🕚15:45 Session 1: OCL

• 14:30 - 14:35 Opening
• 14:35 - 15:00 Francisco Martínez-Lasaca, Esther Guerra and Juan De Lara. ReOCL: An Incremental OCL Core for Reactive Web-Based Modeling
• 15:00 - 15:25 Yuelou Ding and Hao Wu. A Neuro-Symbolic Pipeline for Automated Synthesis and Verification of OCL Constraints
• 15:25 - 15:50 Fitash Ul Haq, Armen Sulejmani and Jordi Cabot. B-OCL: An Object Constraint Language Parser and Interpreter

🕦16:15 - 🕐17:30 Session 2: Verification, validation and simulation

• 16:15 - 16:40 Cristina Trofimov, Constantinos Constantinides and Ali Jannatpour. Simulating UML state machines from a declarative representation
• 16:40 - 17:05 Andreas Domanowski, Karl Kegel and Uwe Aßmann. Reference Attribute Grammars as an Incremental Validation Framework for Delta-Based Multi-Model Product Lines
• 17:05 - 17:25 Mustafa Al Lail. Taming the Frame Problem in UML/OCL Verification: an Automated Approach with The Temporal Property Validator
• 17:25 - 17:30 Workshop closing