Output details

Refinement and verification in component-based model-driven design

<07> This work is a milestone in the ongoing research of the Method of Refinement of Component and Object systems (rCOS). Through the design of the CoCoME - The Common Component Modelling Example proposed at a Dagstuhl Workshop, the soundness and effectiveness of the techniques in rCOS is demonstrated. It defines the requirements for the related modelling notations and identifies when and what for they are used in Model-Driven Development. It led to the research on a Unified Model of Component-Based Architectures and the rCOS tool development. The rCOS methods is followed by a number of research groups in Asia, South America and Europe, in particular by about a dozen research projects in China. It has also inspired a number of PhD and Masters theses.