ECOOP /
Workshop 11
Correctness of Model-based Software Composition
Abstract
The goal of the workshop is to provide an interactive forum for researchers in the different domains working on
correctness and consistency of composition. We want to exchange different
problems in the area of correctness of model-based software composition in
research and practice.
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.
Main Topics
- 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 modeling and consistency / correctness (e.g.,
Abstract Interpretation)
- Detection of feature (asset) interferences and their resolution
Paper Submission
| Type of Papers |
position
|
Formatting
Size |
LNCS Style, single spaced, 12 pt, submissions in PDF or PS format required.
No more than 6 pages.
|
| Deadlines |
Submission
April 25th
Notification
May 17th
|
Details
| Organizers |
Ragnhild Van Der Straeten, (Vrije Universiteit Brussel)
Andreas Speck, (Intershop Research)
Elke Pulvermueller, (Universitaet Karlsruhe)
Matthias Clauss, (SolutionLine CSS)
Andreas Pleuss, (Intershop Research)
|
Date
Location |
Tuesday, July 22st
|
| Workshop Home Page |
http://ssel.vub.ac.be/workshops/ECOOP2003/ |
| Number of participants |
8-25
|
| Rules for Attending |
Authors are invited to submit a position paper. At the workshop’s
webpage there will be a link where the position papers can be submitted.
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. 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. 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
Elke Pulvermueller.
|
| Contact Person |
Ragnhild Van Der Straeten
|
| |
 |
|
|
|
top
