Checking Non-functional Properties of UML2.0 Components Assembly

摘要

The component approach aims at the reutilization by an easy and efficient components assembly. A coherent components assembly requires the verification of properties related to the consistency of interface, semantics, synchronization, and the non-functional. We aim at the checking of the structural and non-functional properties of an UML2.0 components assembly endowed with the non-functional properties described in a CQML type language. Our approach, which is based on an assembly by contracts established between server components and client components, propose to use the Acme/Armani ADL as a checking machine of an assembly of UML2.0/CQML components.