Workshop Program

11:00 - 12:30 Session 1 - Chair: Ed Willink

• 11:00 - 11:10: Opening
• 11:10 - 11:30: Kevin Lano. Adding regular expression operators to OCL
• 11:30 - 11:50: Zijun Chen, Wilbert Alberts and Ivan Kurtev. Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice
• 11:50 - 12:10: Kunxiang Jin and Kevin Lano. Mutation Operators for Object Constraint Language Specification
• 12:10 - 12:30: Kevin Lano. Implementing OCL in Swift

12:30 - 13:30 Lunch Break

13:30 - 15:00 Session 2 - Chair: Robert Clarisó

• 13:30 - 14:00: Zahra Rajaei, Shekoufeh Kolahdouz Rahimi, Massimo Tisi and Frederic Jouault. A DSL for Encoding Models for Graph-Learning Processes
• 14:00 - 14:30: Edward Willink. A Validity Analysis to Reify 2-valued Boolean Constraints
• 14:30 - 15:00: Martin Gogolla, Loli Burgueño and Antonio Vallecillo. Refactoring Collections in OCL

15:00 - 15:30 Coffee Break

15:30 - 17:00 Session 3 - Chair: Daniel Calegari

• 15:30 - 17:00: Panel Discussion + Lightning talks
  Title: “A SWOT analysis of OCL and textual modeling”
  Panelists:
  • Martin Gogolla. University of Bremen
  • Antonio Vallecillo. Universidad de Málaga
  • Jordi Cabot. ICREA