MDE approach for the generation and verification of SCA model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services Année : 2011

MDE approach for the generation and verification of SCA model

Résumé

Service Component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet applications. This technology supports the management of dynamic availability and treats the heterogeneity between the components of distributed applications. However, this technology is not able to solve all problems. Currently, software systems are evolving. This factor makes development, verification and maintenance of systems more complex than before. One solution to remedy this was the use of the Model Driven Engineering (MDE) approach in the development and verification process. The purpose of this paper is to apply an approach MDE to obtain SCA models and to verify the properties of these models. To reach our purpose, we applied two transformations: The first one to obtain SCA models using UML 2.0 metamodel and the second transformation to ensure the verification of the properties of these models using event-B metamodel. To achieve this, we study the UML 2.0 component metamodel, the SCA metamodel and the event-B metamodel. We have defined transformation rules in ATL language.

Mots clés

Fichier non déposé

Dates et versions

hal-00751241 , version 1 (13-11-2012)

Identifiants

Citer

Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. MDE approach for the generation and verification of SCA model. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩. ⟨hal-00751241⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More