Towards an approach of formal verification of mediation protocol based on web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
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.