Composition of Languages, Models, and Analyses

Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benôıt; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans

doi:10.1007/978-3-030-81915-6_4

Cited by 6 publications

(2 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Compositional modeling aspects described in (Broy & Rumpe 2007; detail modular aspects in interacting systems. Compositional approaches consider not only the modeling language but the models, their respective software components, and their artifacts as well (Talcott et al 2021;Butting, Eikermann, et al 2020). These approaches are well described in the textual technological space Butting, Pfeiffer, et al 2020;Hölldobler et al 2018) with consideration for the different forms of language composition.…”

Section: Related Workmentioning

confidence: 99%

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Butting,

Gupta,

Jansen

et al. 2023

JOT

View full text Add to dashboard Cite

The modularization of domain-specific modeling languages (DSMLs) during language development is important for languages or language parts to be reusable. As languages and their components are created using different language workbenches or modeling tools, the definitions and concepts for such language components are often limited to their individual technological spaces. In reality, language development requires significant effort, and DSMLs are often built from scratch within a single technological space, with little consideration for the generalization of the development concepts to other technological spaces. In this article, we discuss common notions of language components that are valid across the textual and graphical technological spaces and provide definitions, concepts, and realization techniques to foster the reusability of such language parts during DSML development. To this end, we first individually define language components and the various forms of language composition in MontiCore, a textual language workbench, and MagicDraw, a graphical modeling tool, and then describe unified cross-cutting concepts of language components that are crucial in developing variants or families of similar languages valid in both the textual and the graphical technological spaces. These language components that are described regardless of their individual technological spaces ensure the reusability of common language parts, ultimately supporting language engineers in developing complex modular DSMLs in the large.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Butting,

Gupta,

Jansen

et al. 2023

JOT

View full text Add to dashboard Cite

show abstract

“…However, due to requirements complexity and system size, models are becoming unmanageable in the engineering process and are achieving unprecedented levels of scale and complexity in many fields [9]. Thus, it is becoming increasingly important to efficiently and effectively manage a system model as a composition of different sub-models to analyze separately and then integrate [12,25].…”

Section: Introductionmentioning

confidence: 99%

Compositional Simulation of Abstract State Machines for Safety Critical Systems

Bonfanti

Gargantini

Riccobene

et al. 2022

Formal Aspects of Component Software

Self Cite

View full text Add to dashboard Cite

Model-based simulation is nowadays an accepted practice for reliable prototyping of system behavior. To keep requirements complexity under control, system components are specified by separate models, validated and verified in isolation from the rest, but models have to be subsequently integrated and validated as a whole. For this reason, engines for orchestrated simulation of separate models are extremely useful. In this paper, we present a compositional simulation technique for managing the co-execution of Abstract State Machines (ASMs) communicating through I/O events. The proposed method allows the co-simulation of ASM models of separate subsystems of a Discrete Event System in a straight-through processing manner according to a predefined orchestration schema. We also present our experience in applying and validating the proposed technique in the context of the MVM (Mechanical Ventilator Milano) system, a mechanical lung ventilator that has been designed, successfully certified, and deployed during the COVID-19 pandemic.

show abstract