Seventh International Conference on UML

Modeling Languages and Applications

<<UML>> 2004

Workshop

OCL and Model Driven Engineering

Lisbon, Portugal, October 12, 2004

Motivation

 

This workshop is of clear relevance to the UML community since it discusses one specific technology within UML on a level that may influence further decisions on the future role of OCL in the UML world. This workshop is intended as the continuation of workshops that were held as part of the UML conference 2000 in York, 2001 in Toronto, and 2003 in San Francisco. There is a significant overlap in the organizers between this event and the preceding events. In order to avoid too strong influence by a small group of people, new people have entered the organizing group.

OMG initiated in 2002 the standardization process for MOF 2.0 Query/ Views/ Transformations. In 2003, as a result of OMG’s RFP, several proposals for the standardization of QVT were submitted. In this situation it is important to look ahead to the future of OCL. The main focus of this workshop is the investigation of OCL’s relation with the OMG’s Model Driven Architecture (MDA) framework, at the meta-model level (M2) with the future standard for QVT. There is a clear need for a high-level language to enable modelers to specify behavior at a high level of abstraction. OCL can be extended to become such an Executable UML language. An interesting question is what extensions need to be added to OCL enable this.

At the same time we solicit contributions using OCL as a constraint language on the application modeling level. Substantial progress has been achieved in this area over the last years and we encourage in particular the submission of case studies and papers on the relation between OCL and annotation languages.

Topics of interest include (but are not restricted to):

 



Paper Submission

Papers should be 5-15 pages in length. Submit your manuscript in Postscript or PDF to Octavian Patrascoiu, using the Springer LNCS style:

http://www.springer.de/comp/lncs/authors.html

All papers must be original, unpublished, and not submitted simultaneously for publication elsewhere. The organization committee will review the submissions and select papers according to their relevance and interest for the discussions that will take place at the workshop.

A paper-based proceedings of OCL&MDE’2004, including all accepted position papers, will be distributed to the participants. An electronic-based edition of the same proceedings will be made available in the workshop website. 

 


Papers accepted for the Workshop

 
Fabian Buttner and Martin Gogolla On Generalization and Overriding in UML 2.0
David Akehurst Relations in OCL

Kristofer Johannisson Disambiguating Implicit Constructions in OCL

Slavisa Markovic Composition of UML Described Refactoring Rules 

Octavian Patrascoiu and Peter Rodgers Embedding OCL Expressions in YATL

Eric Cariou, Raphael Marvie, Lionel Seinturier and Laurence Duchien OCL for the Specification of Model Transformation Contracts

Martin Giese, Reiner Hahnle and Daniel Larsson Rule-Based Simplification of OCL Constraints

Stefan Haustein and Jorg Pleumann OCL as Expression Language in an Action Semantics Surface Language

Jochen M. Kuster, Shane Sendall and Michael Wahler Comparing two Model Transformation Approaches

 



Final Program

The slots of 30 minutes should cover both the paper presentation and a discussion of about 10 minutes.

09:00 -- 09:30
Fabian Buttner and Martin Gogolla On Generalization and Overriding in UML 2.0
09:30 -- 10:00
David Akehurst Relations in OCL
10:00 -- 10:30

Kristofer Johannisson Disambiguating Implicit Constructions in OCL



10:30 -- 11:00
Coffee Break - Foley do Piano Room


11:00 -- 11:30
Slavisa Markovic Composition of UML Described Refactoring Rules 
11:30 -- 12:00

Octavian Patrascoiu and Peter Rodgers Embedding OCL Expressions in YATL

12:00 -- 12:30

Eric Cariou, Raphael Marvie, Lionel Seinturier and Laurence Duchien OCL for the Specification of Model Transformation Contracts



12:30 -- 14:00
Lunch - Camoy Room


14:00 -- 14:30

Martin Giese, Reiner Hahnle and Daniel Larsson Rule-Based Simplification of OCL Constraints

14:30 -- 15:00

Stefan Haustein and Jorg Pleumann OCL as Expression Language in an Action Semantics Surface Language

15:00 -- 15:30

Jochen M. Kuster, Shane Sendall and Michael Wahler Comparing two Model Transformation Approaches



15:30 -- 16:00
Coffee Break  - Foley do Piano Room


16:00 -- 17:30
Discussion

 




Organizers





Important Dates

Deadline for paper submission: July 26, 2004
Authors notified: August 20, 2004 
Final papers due: August 27, 2004
Workshop date: October 12, 2004
Early registration: September 18, 2004
Later registration: September 24, 2004


Octavian Patrascoiu