Pragmatic verification and validation of industrial executable SysML models

B Horváth, V Molnár, B Graics, Á Hajdu… - Systems …, 2023 - Wiley Online Library
Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework

C Buschhaus, A Gerasimov, JC Kirchhof… - Science of Computer …, 2024 - Elsevier
We report on our success stories in developing and using Model-Driven Engineering (MDE)
tools for information systems on real-world projects within different application domains. It is …

Supporting data-aware processes with MERODE

M Snoeck, C Verbruggen, J De Smedt… - Software and Systems …, 2023 - Springer
Most data-aware process modelling approaches have been developed from a process
perspective and lack a full-fledged data modelling approach. In addition, the evaluation of …

Low code for smart software development

J Cabot, R Clarisó - IEEE Software, 2022 - ieeexplore.ieee.org
The more we know about patterns in code, the better we can support those patterns. In this
article, Jordi Cabot and Robert Claris´ o discuss the promise and perils of AI enhanced low …

Trends and insights into the use of model-driven engineering: a survey

H Alfraihi, K Lano - 2023 ACM/IEEE International Conference …, 2023 - ieeexplore.ieee.org
Model-Driven Engineering (MDE) has gained popularity as a software engineering
approach that promises to improve productivity and software quality. However, its adoption …

[HTML][HTML] Advancing Sustainable Cyber-Physical System Development with a Digital Twins and Language Engineering Approach: Smart Greenhouse Applications

AF Subahi - Technologies, 2024 - mdpi.com
In recent years, the integration of Internet of Things technologies in smart agriculture has
become critical for sustainability and efficiency, to the extent that recent improvements have …

Artifact-Centric Modeling and Implementation of Blockchain-Enabled Business Processes

V Amaral de Sousa, C Burnay, M Snoeck - Business & Information …, 2024 - Springer
Smart contracts can be used to support the execution of cross-organizational business
processes involving mutually distrusting participants. Model-driven engineering is often …

TEC-MAP: a taxonomy of evaluation criteria and its application to the multi-modelling of data and processes

C Verbruggen, M Snoeck - Software and Systems Modeling, 2024 - Springer
Abstract The domain of Enterprise Information Systems Engineering uses many different
conceptual modelling languages and methods to specify the requirements of a system under …

How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices

R Jongeling, A Cicchetti, F Ciccozzi - Software and Systems Modeling, 2024 - Springer
In software engineering practice, models created for communication and documentation are
often informal. This limits the applicability of powerful model-driven engineering …

Interactivity and Collaboration in the Context of Heterogeneous Modeling

T Giraudet - Proceedings of the ACM/IEEE 27th International …, 2024 - dl.acm.org
The present article outlines our ongoing efforts to enhance the interactivity between domain
experts and their models, as well as to facilitate collaboration between experts utilizing the …