KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA31420032

Correctness of model-based software composition (CMC). Proceedings. ECOOP 2003 Workshop #11 in association with the 17th European Conference on Object-Oriented Programming, Darmstadt, Germany, July 22, 2003

van der Straeten, Ragnhild; Speck, Andreas; Pulvermueller, Elke; Clauss, Matthias; Pleuss, Andreas; [Hrsg.]

Abstract:

This proceedings contains the contributions to the Workshop on
Correctness of Model-based Software Composition, held in
conjunction with the 17th European Conference on Object-Oriented
Programming (ECOOP), Darmstadt, Germany on July 22, 2003.
While most events concentrate on realisations of composition on
the technological level this workshop aims at closing the gap of
ensuring the intended composition result supported by the usage
of models.

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 ... mehr


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsband
Jahr 2003
Sprache Englisch
Identifikator KITopen ID: 3142003
Erscheinungsvermerk Karlsruhe 2003. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 2003,13.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page