Final Program

Important: The presentation of each paper may not exceed 10 minutes. We have to work disciplined because of the very full program with 18 presentations! Beamer will be available at the workshop.

09:30 -- 11:00 Session 1: Applications
09:30 -- 09:45 Martin Gogolla: Introductory Remarks
09:45 -- 10:00 Tsukasa Takemura and Tetsuo Tamai: Rigorous Business Process Modeling with OCL
10:00 -- 10:15 Kirsten Berkenkoetter: OCL-based Validation of a Railway Domain Profile
10:15 -- 10:30 Rogardt Heldal and Kristofer Johannisson: Customer Validation of Formal Contracts
10:30 -- 10:45 Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack: Towards Using OCL for Instance-Level Queries in Domain Specific Languages
10:45 -- 11:00 Joanna Chimiak­Opoka and Chris Lenz: Use of OCL in a Model Assessment Framework: An experience report

11:00 -- 11:30 Coffee Break

11:30 -- 13:00: Session 2: Implementations
11:30 -- 11:45 Michael Altenhofen, Thomas Hettel, and Stefan Kusterer: OCL support in an industrial environment
11:45 -- 12:00 Mirko Stoelzel, Steffen Zschaler, and Leif Geiger: Integrating OCL and Model Transformations in Fujaba
12:00 -- 12:15 Gergely Mezei, Tihamer Levendovszki, and Hassan Charaf: Restrictions for OCL constraint optimization algorithms
12:15 -- 12:30 Achim D. Brucker, Juergen Doser, and Burkhart Wolff: An MDA Framework Supporting OCL
12:30 -- 12:45 C. Amelunxen and A. Schuerr: On OCL as part of the metamodeling framework MOFLON
12:45 -- 13:00 Discussion

13:30 -- 14:30 Lunch

14:30 -- 16:00 Session 3: Language Issues
14:30 -- 14:45 Achim D. Brucker, Juergen Doser, and Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future
14:45 -- 15:00 Juan Martín Chiaradía and Claudia Pons: Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
15:00 -- 15:15 Jordi Cabot: Ambiguity issues in OCL postconditions
15:15 -- 15:30 D. H. Akehurst, W.G.J. Howells, and K.D. McDonald-Maier: UML/OCL - Detaching the Standard Library
15:30 -- 15:45 Joern Guy Suess: Sugar for OCL
15:45 -- 16:00 Discussion

16:00 -- 16:30 Coffee Break

16:30 -- 18:00 Session 4: Model Transformations, Working Groups and Sum-Up
16:30 -- 16:45 Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, and Vladan Devedzic : On Interchanging Between OWL/SWRL and UML/OCL
16:45 -- 17:00 Michael Wahler, Jana Koehler, and Achim D. Brucker: Model-Driven Constraint Engineering
17:00 -- 17:15 Fabian Buettner and Hanna Bauerdick: Realizing UML Model Transformations with USE
17:15 -- 17:45 Parallel work of two or more groups
17:45 -- 18:00 Sum-Up discussion