A Formal MDE Framework for Inter-DSL Collaboration - Coordination Models and Languages Access content directly
Conference Papers Year : 2023

A Formal MDE Framework for Inter-DSL Collaboration

Abstract

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.
Embargoed file
Embargoed file
1 4 7
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

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

Licence

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More