TY - JOUR
T1 - Model based component development and analysis with ComMA
AU - Kurtev, Ivan
AU - Hooman, Jozef
AU - Schuts, Mathijs
AU - van der Munnik, Daan
N1 - Publisher Copyright:
© 2023 The Authors
PY - 2024/3
Y1 - 2024/3
N2 - The lack of explicit and precise specifications of software interfaces between components often leads to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering of high-tech systems by precisely defining components and their interfaces. The framework is a family of Domain Specific Languages (DSLs) for modeling component interfaces, protocol state machines, time and data constraints, and constraints on relations between events of multiple interfaces. From these models a number of artifacts can be generated automatically to support analysis and various engineering tasks. ComMA has been developed in close collaboration with the Philips IGT business unit that develops minimally-invasive X-ray systems. This paper presents the experience we gained in creating the ComMA framework and its application in industrial practice. We describe and reflect on the technical, organizational and process-related aspects of deploying a non-trivial MDE solution in an industrial setting.
AB - The lack of explicit and precise specifications of software interfaces between components often leads to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering of high-tech systems by precisely defining components and their interfaces. The framework is a family of Domain Specific Languages (DSLs) for modeling component interfaces, protocol state machines, time and data constraints, and constraints on relations between events of multiple interfaces. From these models a number of artifacts can be generated automatically to support analysis and various engineering tasks. ComMA has been developed in close collaboration with the Philips IGT business unit that develops minimally-invasive X-ray systems. This paper presents the experience we gained in creating the ComMA framework and its application in industrial practice. We describe and reflect on the technical, organizational and process-related aspects of deploying a non-trivial MDE solution in an industrial setting.
KW - Component modeling
KW - Component-based development
KW - Domain-specific languages
KW - Interface modeling
KW - Model-driven engineering
UR - http://www.scopus.com/inward/record.url?scp=85177848458&partnerID=8YFLogxK
U2 - 10.1016/j.scico.2023.103067
DO - 10.1016/j.scico.2023.103067
M3 - Article
AN - SCOPUS:85177848458
SN - 0167-6423
VL - 233
JO - Science of Computer Programming
JF - Science of Computer Programming
M1 - 103067
ER -