Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- demonstrationOctober 2020
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 15, Pages 1–5https://doi.org/10.1145/3417990.3422012In recent years, the complexity of safety-critical systems such as automotive systems has been rapidly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. The standards mandate ...
- demonstrationOctober 2020
Strengthening validation of model behavior through filmstrip templates in the tool USE
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 13, Pages 1–5https://doi.org/10.1145/3417990.3422010This contribution focuses on testing behavioral aspects of UML and OCL models. In our approach, a so-called model validator can automatically generate test cases (object models) by using manually written configurations for object models and additional ...
- 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 ProceedingsArticle 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 ...
- demonstrationOctober 2020
TyphonML: a modeling environment to develop hybrid polystores
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 2, Pages 1–5https://doi.org/10.1145/3417990.3421999Designing and deploying a hybrid data persistence architecture that involves a combination of relational and NoSQL databases is a complex, technically challenging, and error-prone task. In this tool paper, we propose TyphonML, a modeling language and ...
- short-paperOctober 2020
Step-wise refinement in multi-paradigm modeling
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 92, Page 1https://doi.org/10.1145/3417990.3421441Multi-Paradigm Modeling (MPM) is a common term aimed at using multiple modeling paradigms by combining different levels of abstraction and views, each expressed in appropriate modeling formalisms. Recently, our research group has started investigating ...
-
- short-paperOctober 2020
Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 90, Pages 1–7https://doi.org/10.1145/3417990.3421439Cyber-Physical Systems (CPSs) are natural evolutions of embedded systems consisting of embedded computing devices and networks interacting with physical processes and possibly with a human. By introduction of Internet of Things (IoT), and Industry 4.0, ...
- research-articleOctober 2020
Connecting conceptual models using relational reference attribute grammars
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 88, Pages 1–11https://doi.org/10.1145/3417990.3421437Model-driven engineering can be used to create problem-specific, conceptual models abstracting away unwanted details. Models at runtime take this principle to the time a system is running. Connecting and synchronizing multiple models creates several ...
- research-articleOctober 2020
Contingent level classes: motivation, conceptualization, modeling guidelines, and implications for model management
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 86, Pages 1–10https://doi.org/10.1145/3417990.3421413It has been known for some time that the level of a class may vary with the context it is used in. There are a few approaches that enable modelers to deal with corresponding requirements. However, they usually provide workarounds to avoid the problem of ...
- short-paperOctober 2020
Join potency: a way of combining separate multi-level models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 84, Pages 1–5https://doi.org/10.1145/3417990.3421411Multi-level modeling has become a mature modeling paradigm both theoretically and by technical means. It has proved itself when a single domain has to be created without accidental complexity. However, when several interconnected domains are to be ...
- research-articleOctober 2020
Towards boosting the OpenMBEE platform with model-code consistency
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 39, Pages 1–5https://doi.org/10.1145/3417990.3421409Eventual consistency between design and implementation is imperative for the quality and maintainability of software systems. Towards achieving this consistency, engineers can analyze the gaps between models and corresponding code to gain insights into ...
- research-articleOctober 2020
Assisted authoring of model-based systems engineering documents
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 36, Pages 1–7https://doi.org/10.1145/3417990.3421406In systems engineering practices, system design and analysis have historically been performed using a document-centric approach where stakeholders produce a number of documents that represent their views on a system under development. Given the ad-hoc, ...
- research-articleOctober 2020
A composition algorithm for reusable workflow models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 41, Pages 1–10https://doi.org/10.1145/3417990.3421398The use of model composition algorithms is becoming more wide-spread. For example, model composition can be applied in the context of Software Product Lines when integrating optional features, or when reusing models in multiple contexts. While ...
- research-articleOctober 2020
Towards an assessment grid for intelligent modeling assistance
- Gunter Mussbacher,
- Benoit Combemale,
- Silvia Abrahão,
- Nelly Bencomo,
- Loli Burgueño,
- Gregor Engels,
- Jörg Kienzle,
- Thomas Kühn,
- Sébastien Mosser,
- Houari Sahraoui,
- Martin Weyssow
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 48, Pages 1–10https://doi.org/10.1145/3417990.3421396The ever-growing complexity of systems, the growing number of stakeholders, and the corresponding continuous emergence of new domain-specific modeling abstractions has led to significantly higher cognitive load on modelers. There is an urgent need to ...
- research-articleOctober 2020
A comparative study of reinforcement learning techniques to repair models
- Angela Barriga,
- Lawrence Mandow,
- José Luis Pérez de la Cruz,
- Adrian Rutle,
- Rogardt Heldal,
- Ludovico Iovino
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 47, Pages 1–9https://doi.org/10.1145/3417990.3421395In model-driven software engineering, models are used in all phases of the development process. These models may get broken due to various editions during the modeling process. To repair broken models we have developed PARMOREL, an extensible framework ...
- research-articleOctober 2020
Low-code engineering for internet of things: a state of research
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 74, Pages 1–8https://doi.org/10.1145/3417990.3420208Developing Internet of Things (IoT) systems has to cope with several challenges mainly because of the heterogeneity of the involved sub-systems and components. With the aim of conceiving languages and tools supporting the development of IoT systems, ...
- research-articleOctober 2020
Efficiently querying large-scale heterogeneous models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 73, Pages 1–5https://doi.org/10.1145/3417990.3420207With the increase in the complexity of software systems, the size and the complexity of underlying models also increases proportionally. In a low-code system, models can be stored in different backend technologies and can be represented in various ...
- research-articleOctober 2020
Towards the next generation of reactive model transformations on low-code platforms: three research lines
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 65, Pages 1–10https://doi.org/10.1145/3417990.3420199Low-Code Development Platforms have emerged as the next-generation, cloud-enabled collaborative platforms. These platforms adopt the principles of Model-Driven Engineering, where models are used as first-class citizens to build complex systems, and ...
- research-articleOctober 2020
Intelligent run-time partitioning of low-code system models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 64, Pages 1–5https://doi.org/10.1145/3417990.3420198Over the last 2 decades, several dedicated languages have been proposed to support model management activities such as model validation, transformation, and code generation. As software systems become more complex, underlying system models grow ...
- research-articleOctober 2020
Understanding the role of model transformation compositions in low-code development platforms
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 63, Pages 1–5https://doi.org/10.1145/3417990.3420197Low-code development platforms (LCDPs) permit developers that do not have strong programming experience to produce complex software systems. Visual environments permit to specify workflows consisting of sequential or parallel executions of services that ...
- research-articleOctober 2020
An empirical study on visual programming docker compose configurations
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 60, Pages 1–10https://doi.org/10.1145/3417990.3420194Infrastructure-as-Code tools, such as Docker and Docker Compose, play a crucial role in the development and orchestration of cloud-native and at-scale software. However, as IaC relies mostly on the development of text-only specifications, these are ...