No abstract

The Service Component Definition Language (SCDL) and the Web Service Business Process Execution Language (WS-BPEL) are the standards de-facto used in the modeling and implementing of Service-Component Architecture (SCA). However, these powerful languages lack a formal foundation for the specification and verification of the SCA properties. In this study, the use of Wright formal ADL and Ada programming language was proposed to check the behavioral properties of SCDL/WS-BPEL Service-Component architectures. To achieve this, the mapping of SCDL/WS-BPEL to the Wright formal ADL was suggested in order to verify the standard behavioral consistency of the source description. As a second step, the target specification could be transformed into Ada to check the specific and dynamic behavioral properties of the SCDL/WS-BPEL source architecture.

No abstract

No abstract

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.