Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMarch 2023
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
Software and Systems Modeling (SoSyM) (SPSSM), Volume 22, Issue 5Oct 2023, Pages 1565–1587https://doi.org/10.1007/s10270-023-01086-5AbstractRegression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite recent advances, regression testing for distributed systems remains challenging and ...
- research-articleNovember 2022
A general architecture for client-agnostic hybrid model editors as a service
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2022, Pages 749–754https://doi.org/10.1145/3550356.3563131In this paper, we propose a general architecture for designing language servers for hybrid modeling languages, that is, modeling languages that contain both textual and graphical representations. The architecture consists of a textual language server, a ...
- research-articleJune 2021
Live modeling in the context of state machine models and code generation
Software and Systems Modeling (SoSyM) (SPSSM), Volume 20, Issue 3Jun 2021, Pages 795–819https://doi.org/10.1007/s10270-020-00829-yAbstractLive modeling has been recognized as an important technique to edit behavioral models while being executed and helps in better understanding the impact of a design choice. In the context of model-driven development, models can be executed by ...
- research-articleFebruary 2021
On the benefits of file-level modularity for EMF models
Software and Systems Modeling (SoSyM) (SPSSM), Volume 20, Issue 1Feb 2021, Pages 267–286https://doi.org/10.1007/s10270-020-00804-7AbstractModel-driven development (MDD) tools based on the Eclipse Modeling Framework (EMF) typically store all elements in a model in a single file which arguably is one of the main reasons why these tools do not scale well and cannot take advantage of ...
- demonstrationOctober 2020
MReplayer: a trace replayer of distributed UML-RT models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2020, Article No.: 6, Pages 1–5https://doi.org/10.1145/3417990.3422003In this paper, we present MReplayer that supports ordering and replaying of execution traces of distributed systems that are developed using communicated state machine models. Despite the existing solutions that require detailed traces annotated with ...
-
- short-paperOctober 2020
Toward client-agnostic hybrid model editor tools as a service
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2020, Article No.: 91, Page 1https://doi.org/10.1145/3417990.3421440General-purpose languages (GPLs) have reached a point where they can be easily learned with little background in computing. This has allowed them to cultivate users rapidly, and incentivized the creation of IDEs (Integrated Development Environments) and ...
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and SystemsOctober 2020, Pages 285–296https://doi.org/10.1145/3365438.3410939Ordering and replaying of execution traces of distributed systems is a challenging problem. State-of-the-art approaches annotate the traces with logical or physical timestamps. However, both kinds of timestamps have their drawbacks, including increased ...
- research-articleJuly 2020
A model-based architecture for interactive run-time monitoring
Software and Systems Modeling (SoSyM) (SPSSM), Volume 19, Issue 4Jul 2020, Pages 959–981https://doi.org/10.1007/s10270-020-00780-yAbstractWe present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not only for observing the ...
- research-articleFebruary 2020
mCUTE: a model-level concolic unit testing engine for UML state machines
ASE '19: Proceedings of the 34th IEEE/ACM International Conference on Automated Software EngineeringNovember 2019, Pages 1182–1185https://doi.org/10.1109/ASE.2019.00132Model Driven Engineering (MDE) techniques raise the level of abstraction at which developers construct software. However, modern cyber-physical systems are becoming more prevalent and complex and hence software models that represent the structure and ...
- research-articleFebruary 2020
PMExec: an execution engine of partial UML-RT models
ASE '19: Proceedings of the 34th IEEE/ACM International Conference on Automated Software EngineeringNovember 2019, Pages 1178–1181https://doi.org/10.1109/ASE.2019.00131This paper presents PMExec, a tool that supports the execution of partial UML-RT models. To this end, the tool implements the following steps: static analysis, automatic refinement, and input-driven execution. The static analysis that respects the ...
- research-articleAugust 2021
Live-UMLRT: a tool for live modeling of UML-RT models
MODELS '19: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and SystemsSeptember 2019, Pages 743–747https://doi.org/10.1109/MODELS-C.2019.00115In the context of Model-driven Development (MDD) models can be executed by interpretation or by the translation of models into existing programming languages, often by code generation. This work presents Live-UMLRT, a tool that supports live modeling of ...
- research-articleAugust 2021
1st workshop on DevOps@MODELS
MODELS '19: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and SystemsSeptember 2019, Pages 587–588https://doi.org/10.1109/MODELS-C.2019.00089The first edition of the International Workshop DevOps@MODELS, specifically devoted to DevOps and Model Driven Engineering, was held on September 17, 2019 in Munich, Germany, as part of the satellite events of the ACM/IEEE 22nd International Conference ...
- research-articleAugust 2021
Solving the RoboSoccer challenge problem with UML-RT and papyrus-RT
MODELS '19: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and SystemsSeptember 2019, Pages 221–227https://doi.org/10.1109/MODELS-C.2019.00036We demonstrate and evaluate the use of the UML-RT modeling language and an extension of Eclipse Papyrus-RT, an open source model-driven development tool, to solve the RoboSoccer challenge problem. The problem requires participants to create an ...
- research-articleSeptember 2019
A controller synthesis framework for automated service composition
Discrete Event Dynamic Systems (KLU-DISC), Volume 29, Issue 3Sep 2019, Pages 297–365https://doi.org/10.1007/s10626-019-00282-0AbstractNowadays, Web services allow interoperability among distributed software applications deployed on different platforms and architectures which in effect plays a major role in electronic businesses. Web services allow organizations to carry out ...
Concolic testing for models of state-based systems
ESEC/FSE 2019: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringAugust 2019, Pages 4–15https://doi.org/10.1145/3338906.3338908Testing models of modern cyber-physical systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test ...
- articleAugust 2019
Survey and classification of model transformation tools
Software and Systems Modeling (SoSyM) (SPSSM), Volume 18, Issue 4August 2019, Pages 2361–2397https://doi.org/10.1007/s10270-018-0665-6Model transformation lies at the very core of model-driven engineering, and a large number of model transformation languages and tools have been proposed over the last few years. These tools can be used to develop, transform, merge, exchange, compare, ...
- research-articleMay 2019
Enabling model-driven software development tools for the internet of things
MiSE '19: Proceedings of the 11th International Workshop on Modelling in Software EngineeringsMay 2019, Pages 93–99https://doi.org/10.1109/MiSE.2019.00022The heterogeneity and complexity of Internet of Things (IoT) applications present new challenges to the software development process. Model-Driven Software Development (MDSD) is increasingly being recognized as a key paradigm in tackling many of these ...
- ArticleMay 2019
Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and DeploymentMay 2019, Pages 139–151https://doi.org/10.1007/978-3-030-39306-9_10AbstractTo succeed with the development, deployment, and operation of the new generation of complex systems, organizations need the agility to adapt to constantly evolving environments. In this context, DevOps has emerged as an evolution of the agile ...
- research-articleOctober 2018
Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine
MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2018, Pages 42–46https://doi.org/10.1145/3270112.3270135This paper provides an overview of SimGen, a prototyping tool which aids in the creation of 3D simulations for embedded systems testing. SimGen relies on a domain specific language to describe the components of the simulation and the communication ...
- research-articleOctober 2018
Slicing UML-based Models of Real-time Embedded Systems
MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and SystemsOctober 2018, Pages 346–356https://doi.org/10.1145/3239372.3239407Models of Real-time Embedded (RTE) systems may encompass many components with often many different kinds of dependencies describing, e.g., structural relationships or the flow of data, control, or messages. Understanding and properly accounting for them ...