OCL and Model Driven Engineering
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):
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.
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 |
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 |
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 |
|
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 |
Jean
Bézivin, University of Nantes, France
Thomas
Baar, EPFL Lausanne, Switzerland
Tracy
Gardner, IBM in Hursley, United Kingdom
Martin
Gogolla, University of Bremen, Germany
Reiner
Hähnle, Chalmers University, Göteborg, Sweden
Heinrich
Hußmann, University of Munich, Germany
Octavian
Patrascoiu University of Kent, United Kingdom (main
contact)
Peter
H. Schmitt, Universität Karlsruhe, Germany
Jos
Warmer, De Nederlandsche Bank, Nederland
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 |