A Formal MDE Framework for Inter-DSL Collaboration - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A Formal MDE Framework for Inter-DSL Collaboration

Résumé

In order to master the complexity of a system at the design stage, several models have to be defined and combined together. However, when heterogeneous and independent DSLs are used to define these models, there is a need to explicitly compose their semantics. While the composition of static semantics of DSLs is straightforward, the coordination of their execution semantics is still challenging. This issue is generally called inter-DSL collaboration. In this paper, we propose a formal Model Driven Engineering (MDE) framework built on the Meeduse language workbench that we extend with the Business Process Model and Notation (BPMN). Meeduse allows to instrument DSLs with formal semantics using the B method. BPMN provides an easy-to-use notation to define the coordination of execution semantics of these DSLs. A transformation of BPMN models into Communication Sequential Process (CSP) formal language enables the possibility for animation and verification. Our approach is successfully demonstrated by modeling the collaboration of two DSLs from a real case study.
Fichier sous embargo
Fichier sous embargo
1 4 7
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04224395 , version 1 (02-10-2023)

Licence

Identifiants

Citer

Salim Chehida, Akram Idani, Mario Cortes-Cornax, German Vega. A Formal MDE Framework for Inter-DSL Collaboration. 25th International Conference on Coordination Models and Languages, Oct 2023, Lisbon, Portugal. pp.232-249, ⟨10.1007/978-3-031-35361-1_13⟩. ⟨hal-04224395⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More