Accepted Papers
Accepted papers are listed in the following. Please note that these are preliminary versions for quick information. Improved versions of papers will show up here later.
- Rogardt Heldal and Kristofer Johannisson: Customer Validation of Formal Contracts
- Jordi Cabot: Ambiguity issues in OCL postconditions
- Michael Altenhofen, Thomas Hettel and Stefan Kusterer: OCL support in an industrial environment
- Milan Milanovic, Dragan Gaevic, Adrian Giurca, Gerd Wagner, and Vladan Devedic: On Interchanging Between OWL/SWRL and UML/OCL
- D.H.Akehurst, W.G.J.Howells, K.D.McDonald-Maier: UML/OCL Detaching the Standard Library
- Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack: Towards Using OCL for Instance-Level Queries in Domain Specific Languages
- Fabian Buttner and Hanna Bauerdick: Realizing UML Model Transformations with USE
- Mirko Stoelzel, Steffen Zschaler, and Leif Geiger: Integrating OCL and Model Transformations in Fujaba
- Gergely Mezei, Tihamer Levendovszky, Hassan Charaf: Restrictions for OCL constraint optimization algorithms
- Michael Wahler, Jana Koehler, and Achim D. Brucker: Model-Driven Constraint Engineering
- Kirsten Berkenkotter: OCL-based Validation of a Railway Domain profile
- Achim D. Brucker, Juergen Doser and Burkhart Wolff: An MDA Framework Supporting OCL
- C. Amelunxen, A. Schuerr: On OCL as part of the metamodeling framework MOFLON
- Achim D. Brucker, Juergen Doser and Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future
- Joanna Chimiak-Opoka, Chris Lenz: Use of OCL in a Model Assessment Framework
- Juan Martin Chiarada, Claudia Pons: Redesigning the OCL metamodel by applying GoF patterns
- Tsukasa Takemura: Business Process Modeling with OCL
- Joern Guy Suess: Sugar for OCL