Towards a Practical Approach to Check Service Component Architecture

The components based approach aims at the re-use by an easy 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 a SCA (Service Component Architecture 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 components assembly. We propose to use the Acme/Armani ADL as contract definition language.