[logo MODELS'2008] [logo OCL'2008] Toulouse, France. September 30, 2008
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems

Program [Final]

09:00
-
10:30
SESSION 1: Executing OCL
Manuel Clavel, Marina Egea and Miguel García de Dios. Building an efficient component for OCL evaluation [PDF]
 
Mirko Seifert and Roland Samlaus. Static Source Code Analysis using OCL [PDF]
 
Jesús Sánchez Cuadrado, Frédéric Jouault, Jesus Garcia-Molina and Jean Bézivin. Optimization patterns for OCL-based model transformations [PDF]
10:30
-
11:00
Coffee Break
11:00
-
12:30
SESSION 2: Translating OCL
Tamás Vajk and Tihamer Levendovszky. An Incremental OCL Compiler for Modeling Environments [PDF]
 
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud and Stefan Kowski. Implementing Advanced RBAC Administration Functionality with USE [PDF]
 
Fabian Büttner and Mirco Kuhlmann. Shortcomings of the Embedding of OCL into QVT ImperativeOCL [PDF, Slides]
12:30
-
14:00
Lunch Break -- Individual Lunch
14:00
-
15:30
SESSION 3: Validation and Verification
Emine Aydal, Richard Paige and Jim Woodcock. Observations for Assertion-based Scenarios in the context of Model Validation [PDF]
 
Matthias P. Krieger and Alexander Knapp. Executing Underspecified OCL Operation Contracts with a SAT Solver [PDF]
 
Dan Chiorean, Vladiela Petrascu and Dragos Petrascu. How My Favorite Tool Supporting OCL Must Look Like [PDF]
15:30
-
16:00
Coffee Break
16:00
-
18:00
SESSION 4: Tools
Thomas Baar RoclET
16:00-16:10
[Site]
 
Dimitrios Kolovos and Richard Paige The Epsilon Validation Language
16:10-16:20
[Site]
 
Achim D. Brucker The HOL-OCL system
16:20-16:30
[Site]
 
Robert Clarisó, Jordi Cabot and Daniel Riera UMLtoCSP
16:30-16:40
[Slides]
[Site]
 
Manuel Clavel, Marina Egea, and Miguel A. Garcia de Dios The Eye Secure Software (ESS)
16:40-16:50
[Site]
 
Fabian Büttner USE (UML Specification Environment)
16:50-17:00
[Site]
 
Mirko Seifert and Roland Samlaus RestrictED
17:00-17:10
[Screencast]
[Slides]
[Site]
 
Joanna Chimiak-Opoka, Ekrem Arslan, Hannes Moesl and Franz-Josef Peer (presented by Michael Felderer) "Advanced OCL Editor" based on Eclipse OCL
17:10-17:20
Screencast
[Site]
 
Tamas Vajk Visual Modeling and Transformation System (VMTS)
17:20-17:30
[Site]
 
Dan Chiorean OCLE
17:30-17:40
[Site]
 
Jean-Marie Mottu Kermeta
17:40-17:50
[Site]