Modelling Contest: Common Component Modelling Example (CoCoME)

GI-Dagstuhl Research Seminar

Call for Contribution and Participation
Internal Website

Call for Contribution and Participation


Component-based software development (CBSD) has changed the current paradigm of software development. Systems are no longer developed from scratch, but composed of existing components as well as components to be developed.
Nowadays, as systems become more and more complex, CBSD is to a greater extent applied in industry. In order to leverage CBSD to build correct and dependable component-based systems with predictable quality attributes research has developed various formal and semi-formal component models, like for instance *-Calculus, DisCComp, Fractal, Focus, KOALA, Palladio, SOFA, UML Extensions – just to mention some of them.
Thereby components have to be provided with specifications of their relevant functional and non-functional properties to precisely describe their behaviour and their quality attributes. Based on these specifications, methods and tools have been developed to analyse and verify the functional correctness as well as to predict the dependability and the quality attributes of the resulting component-based software architecture.


As mentioned above, a large body of research exists and is undertaken in the area of component models. However, the different approaches concentrate on different yet related aspects of component modelling, like for instance communication issues or performance aspects. Due to these differences, it is hard to compare these formal and semi-formal component models. This hinders their validation for practical usage. The main goal of the research seminar is to evaluate and compare the practical appliance of existing component models and the corresponding specification techniques. Therefore, during the first phase of the modelling contest, all teams together elaborate and finally have to agree in a common modelling example. During the second phase of the modelling contest each team models this common example using its own specific component model and its corresponding modelling techniques.

Procedures and Important Dates

14.09.2006 Participant candidate team submit their request of participation via the CoCoME registration site.

Thereby each participating team has to define
  • the formal or semi-formal component model they intent to use (MUST)
  • their requirements for a common component modelling example (MUST)
  • a proposal for a component-based system or parts of such a system which could be used as input for the common modelling example (OPTIONAL)
21.09.2006 Participating teams will be selected and notified. Participants start web-based discussion to define the common component modelling example.
2./3.11.2006 On site workshop in Karlsruhe to finalize the definition of common component modelling example. Participants will be instructed with the details of the following contest.
Begin of February Common component modelling example and a corresponding component-based implementation will be delivered to the teams.
02.05.2007 Participating teams deliver the beta version of their modelling of the common component modelling example.
30.05.2007 Participating teams perform peer-review of the beta versions of the modelling results.
22.06.2007 Participating teams deliver their final modelling of the common component modelling example.
01.08.-03.08.2007 Participating teams present their final results in a joint GI-Dagstuhl Research Seminar, Schloss Dagstuhl, Germany. An international jury from industry and research will evaluate the results of the participating teams.


The results of each participating team will be published as a separete chapter in a volume of the Springer-Verlag LNCS series. Thus each team will publish its component model, modelling approach, and modelled solution of the common modelling sample as a separate chapter.


Andreas RauschTechnische Universität Clausthal, GER (primary contact)
Ralf ReussnerUniversität Karlsruhe (TH), GER
Raffaela MirandolaPolitecnico di Milano, IT
Frantisek PlasilCharles University, Prague, CZ


Manfred BroyTU München, GER
Ian GortonEmpirical Software Engineering Research Group, National ICT, Australia
Johannes SiederslebenT-Systems International, GER
Clemens SzyperskiMicrosoft Research, USA