@inproceedings{4a6968d327a0449d8b97bf030e48a12e,
title = "MDE approach for the generation and verification of SCA model",
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.",
keywords = "ATL, MDE, SCA, UML 2.0, event-B",
author = "Soumaya Louhichi and Mohamed Graiet and Mourad Kmimech and Bhiri, \{Mohamed Tahar\} and Walid Gaaloul and Eric Cariou",
year = "2011",
month = dec,
day = "1",
doi = "10.1145/2095536.2095592",
language = "English",
isbn = "9781450307840",
series = "ACM International Conference Proceeding Series",
pages = "317--320",
booktitle = "iiWAS2011 - 13th International Conference on Information Integration and Web-Based Applications and Services",
note = "13th International Conference on Information Integration and Web-Based Applications and Services, iiWAS2011 ; Conference date: 05-12-2011 Through 07-12-2011",
}