Semantic Equations for Formal Models in the Model-Driven Architecture

Abstract : Semantic equations are important pieces of the denotational semantics approach that enable the translation of syntactic constructs of models to semantic domains. In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts. Thus, semantic equations are key elements in this extended architecture. In this paper, we propose an approach to incorporate semantic equations described by model transformations in the MDA infrastructure. As a result, we automatically generate semantic models from the syntactic models involved in the MDA transformations. Therefore, the semantic equations play an important role in the MDA architecture since they allow the construction of tools for automated reasoning for several purposes, such as: (i) verification of semantics preservation in model transformations; (ii) choice of the best format to represent meaning and behavior of models and (iii) automatic generation and production of quality compilers. For instance, we claim that in the scenario of model transformations involving concurrent models described using Petri nets, semantic concepts can be more easily and appropriately handled in the MDA architecture. We have evaluated our approach by applying semantic equations to Petri nets models in a project for embedded systems codesign.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Pedro Pereira; Luis Ribeiro. First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-314, pp.249-258, 2010, Emerging Trends in Technological Innovation. 〈10.1007/978-3-642-11628-5_27〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01060810
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 15:17:12
Dernière modification le : mercredi 29 novembre 2017 - 11:00:10
Document(s) archivé(s) le : dimanche 18 février 2018 - 15:28:58

Fichier

BarbosaRFCGJ10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Paulo Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, et al.. Semantic Equations for Formal Models in the Model-Driven Architecture. Luis M. Camarinha-Matos; Pedro Pereira; Luis Ribeiro. First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-314, pp.249-258, 2010, Emerging Trends in Technological Innovation. 〈10.1007/978-3-642-11628-5_27〉. 〈hal-01060810〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

9