Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model

The components based approach aims at the re-use by an easy components assembly. Vis-a-vis to the objects based approach, the component based approach moves the complexity of a graph of classes (hierarchy of classes and client relationship) to connection points of between the components. The principal lock of the components based approach is the difficulty of deduction of the components assembly properties from the components themselves taken individually. In this paper, we present an MDE (Model driven Engineering) checking approach of component assembly based on the ADL (Architecture Description language) Acme/Armani. The proposed approach can be applied on several component models such as UML 2.0. We aim to check the structural and non-functional properties on a component assembly. Thereafter, we apply the proposed checking approach to the UML 2.0 component model.