MDE approach for the generation and verification of SCA model

  • Authors:

  • Soumaya Louhichi;Mohamed Graiet;Mourad Kmimech;Mohamed Tahar Bhiri;Walid Gaaloul;Eric Cariou

  • Affiliations:

  • MIRACL, ISIMS, Sfax, Tunisia;MIRACL, ISIMS, Sfax, Tunisia;MIRACL, ISIMS, Sfax, Tunisia;MIRACL, ISIMS, Sfax, Tunisia;Télécom SudParis, rue Charles Fourier, Évry Cedex, France;Université de Pau et des pays de l'Adour, PAU CEDEX France

  • Venue:
  • Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.