Component Design based on Model Executability

Model-driven development (MDD) corresponds to the building of models and their transformation into intermediate models and code. Modeling components and compositions is a natural consequence of MDD. We show in this paper the advantages of using an executable modeling language associated with a Java library which pre-implements the execution semantics of this language. The proposed executable language is based on UML state machine diagrams. The semantic variation points linked to these diagrams lead us to manage equivalent variations in the Java implementation of components. The paper offers a comprehensive component design method based on a tailor-made UML profile whose role is the control of the semantic variation points in models.