CfP: ECOOP WS on Correctness of Model-based Software Composition (CMC)

[My apologies, if you receive this information more than once. 
 Please distribute it to your interested colleagues.          ] 

======================================================================== 
                     Call for Position Papers 
                            Workshop on 
          "Correctness of Model-based Software Composition (CMC)" 

                To be held in conjunction with the 
    17th European Conference on Object-Oriented Programming (ECOOP) 
                  http://www.ecoop.tu-darmstadt.de/ 

                        Workshop's web page: 
             http://ssel.vub.ac.be/workshops/ECOOP2003/ 

                        Darmstadt, Germany 
                        July 21 - 25, 2003 


                 Submission Deadline: April 25, 2003 
======================================================================== 

Usually, the development of a software application is subdivided in 
several sub problems according to the different concerns. 
The difficult task is the composition of the corresponding resulting 
solution spaces. This is already a well-known problem and it appears 
in different disciplines where composition is necessary: patterns, 
modules and frameworks, object-oriented-, component-based-, 
aspect-oriented and generative software development. 

Two important problems in composition are first how to model the 
different assets (such as components, features or aspects) and second 
the composition of assets such that consistency and correctness is 
guaranteed. The first problem has been addressed in the Workshop on 
Model-based Software Reuse (ECOOP 2002). The latter problem occurs 
when dealing with, e.g., component interoperability, aspect weaving, 
feature interaction and (on a more abstract level) traceability 
between different views or models. 

One approach to deal with the composition problem is to use models 
allowing to model the composition. This allows checking the 
interoperability of the different assets to compose, the correctness 
of the configuration of assets and predicting properties of the 
assembled system (especially compliance with user requirements). 
In case of problem detection suitable resolution algorithms can be 
applied. 

Topics of interest include but are not limited to: 
-------------------------------------------------- 
- Models describing requirements, models of the architecture of 
  the composed systems and models derived from the software source 
- Specific system properties and their representation in models 
- Composition models 
- AI and logics supporting in representation and composition 
  verification 
- Theoretical foundations in modelling and consistency / correctness 
  (e.g. Abstract Interpretation) 
- Detection of feature (asset) interferences and their resolution 


Rules for attending: 
-------------------- 
Authors are invited to submit a position paper not exceeding 6 pages 
(12 pt, single-spaced) by April 25, 2003. At the workshop's webpage 
there will be a link where the position papers can be submitted. 
Submissions in PDF or PS format are required. 
Authors intending to submit a paper are invited to fill in a form 
with the authors' names, their addresses, the title and a short 
abstract (up to 200 words) of the paper. 
All submissions compliant to provided guidelines will be selected from 
a review committee of well-known experts in this domain. In case of 
problems with the submission please contact 
pulvermueller-UCPnnsTbk6c@xxxxxxxxxxxxxxxx 


Format of the Workshop: 
----------------------- 
All accepted papers will be published in advance on the workshop 
website (http://ssel.vub.ac.be/workshops/ECOOP2003/) and should be 
read by all participants in order to know the other positions and 
to intensify the discussions during the workshop. For each submission 
an author will be able to present his/her work in the plenary session 
at the beginning of the workshop shortly. This allows a better 
cooperation afterwards. 
The major part of the workshop will be spent on group work. 
Small groups will be formed to be able to have an in depth discussion 
on precise topics which will be determined after the presentation of 
the different submissions. This group work will be concluded by 
presentations of the group results. 
Collaborative work continues after the workshop, since each group 
will produce a small report which will be collected into the 
workshop report. 
Next to the compilations of the group discussions, the conclusions 
drawn from the discussions will be included in the Springer-LNCS 
published ECOOP workshop reader. 

It is also planned to publish the position papers as a technical 
report at the Universitaet Karlsruhe, Germany. 


Important Dates: 
---------------- 
April 14, 2003: Indication of interest by form following the links 
                and instructions on the workshop's webpage. 
April 25, 2003: Submission of position papers, for submission 
                instructions please refer to the workshop webpage. 
May   17, 2003: Notification of acceptance 
June  11, 2003: Camera-ready version 
July  22, 2003: Workshop 


Organisers: 
----------- 
Ragnhild Van Der Straeten (primary contact) 
System and Software Engineering Lab 
Vrije Universiteit Brussel 
Pleinlaan 2 
B-1050 Brussels, Belgium 
email: rvdstrae-t4LwSHXjkAOzQB+pC5nmwQ@xxxxxxxxxxxxxxxx 

Andreas Speck 
Intershop Research 
Intershop Tower 
D-07740 Jena, Germany 
email: a.speck-zVtdkummjcH3oGB3hsPCZA@xxxxxxxxxxxxxxxx 

Elke Pulvermueller 
Universitaet Karlsruhe 
Adenauerring 20a 
D-76128 Karlsruhe, Germany 
email: pulvermueller-HInyCGIudOg@xxxxxxxxxxxxxxxx 

Matthias Clauss 
Solutionline CSS 
Eichenplan 2 
D-30665 Hannover, Germany 
email : matthias.clauss-Mmb7MZpHnFY@xxxxxxxxxxxxxxxx 

Andreas Pleuss 
Intershop Research 
Intershop Tower 
D-07740 Jena, Germany 
email: andreas.pleuss-Mmb7MZpHnFY@xxxxxxxxxxxxxxxx 


Program Committee: 
------------------ 
Kai Boellert, Zurich-Group, Germany
Bogdan Franczyk, University of Leipzig, Germany
Maurice Glandrup, University of Twente, The Netherlands
Dirk Heuzeroth, Universitaet Karlsruhe, IPD, Germany
Heinreich Hussmann, Ludwig-Maximilians-Universitaet Munich, Germany
Mario Jeckle, DaimlerChrysler Research, Ulm, Germany
Kim Mens, Université catholique de Louvain (UCL), Belgium
Silva Robak, University of Zielona Gora, Poland
Wilhelm Rossak, Friedrich-Schiller-Universitaet, Jena, Germany
Shmuel Tyszberowicz, Tel Aviv University, Israel
Liping Zhao, University of Manchester, UK

Please refer to the workshop web page for the complete list of program 
committee members and for further up-to-date information: 
           http://ssel.vub.ac.be/workshops/ECOOP2003/ 

--------------------------------------------------------------------------
To subscribe or unsubscribe yourself from
dbworld, send a msg to majordomo-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx with 
one of these lines:
subscribe dbworld OR unsubscribe dbworld
To find out more options send a msg with the line:
help
To post messages, go to URL www.cs.wisc.edu/dbworld
--------------------------------------------------------------------------