|
Call for Contribution and Participation
Scope
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.
Goal
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. |
Publication
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.
Organizers
| Andreas Rausch | Technische Universität Clausthal, GER (primary contact) |
| Ralf Reussner | Universität Karlsruhe (TH), GER |
| Raffaela Mirandola | Politecnico di Milano, IT |
| Frantisek Plasil | Charles University, Prague, CZ |
Jury
| Manfred Broy | TU München, GER |
| Ian Gorton | Empirical Software Engineering Research Group, National ICT, Australia |
| Johannes Siedersleben | T-Systems International, GER |
| Clemens Szyperski | Microsoft Research, USA |
|