Skip to main content
main-content

Software & Systems Modeling OnlineFirst articles

22.11.2020 | Regular Paper

Analysis of variability models: a systematic literature review

Dealing with variability, during Software Product Line Engineering (SPLE), means trying to allow software engineers to develop a set of similar applications based on a manageable range of variable functionalities according to expert users’ needs.

Autoren:
Matias Pol’la, Agustina Buccella, Alejandra Cechich

16.11.2020 | Regular Paper

Graphical composite modeling and simulation for multi-aircraft collision avoidance

Modeling and simulation for multi-aircraft collision avoidance to understand the mechanistic behavior is an important activity. Building models using general programming language typically requires specialist knowledge, and this limits the spread …

Autoren:
Feng Zhu, Jun Tang

09.11.2020 | Special Section Paper Open Access

Coordinating large distributed relational process structures

Representing a business process as a collaboration of interacting processes has become feasible with the emergence of data-centric business process management paradigms. Usually, these interacting processes have relations and, thereby, form a …

Autoren:
Sebastian Steinau, Kevin Andrews, Manfred Reichert

02.11.2020 | Regular Paper

Live modeling in the context of state machine models and code generation

Live 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 …

Autoren:
Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel

02.11.2020 | Regular Paper

Improving query performance on dynamic graphs

Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, e.g. in the form of graph …

Autoren:
Gala Barquero, Javier Troya, Antonio Vallecillo

23.10.2020 | Special Section Paper

Reproducible execution of POSIX programs with DiOS

In this paper, we describe DiOS , a lightweight model operating system, which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in …

Autoren:
Petr Ročkai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiříí Barnat

21.10.2020 | Regular Paper Open Access

A systematic literature review of cross-domain model consistency checking by model management tools

Objective The goal of this study is to identify gaps and challenges related to cross-domain model management focusing on consistency checking. Method We conducted a systematic literature review. We used the keyword-based search on Google Scholar …

Autoren:
Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik

17.10.2020 | Regular Paper

Wodel-Test: a model-based framework for language-independent mutation testing

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect …

Autoren:
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo

17.10.2020 | Regular Paper

CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF

The rise of domain-specific (Visual) languages and the inherent complexity of developing graphical editors for these languages have led to the emergence of proposals that provide support for this task. Most of these proposals are principally based …

Autoren:
David Granada, Juan M. Vara, Mercedes Merayo, Esperanza Marcos

14.10.2020 | Regular Paper Open Access

Pragmatic reuse for DSML development

Composing a DSL for hybrid CPS modeling

By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous …

Autoren:
Stefan Klikovits, Didier Buchs

24.09.2020 | Regular Paper Open Access

Implementing QVT-R via semantic interpretation in UML-RSDS

The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification. It is highly declarative and supports (in principle) bidirectional (bx) transformation specification. However, there are …

Autoren:
K. Lano, S. Kolahdouz-Rahimi

21.09.2020 | Special Section Paper Open Access

Implementation of a continuous delivery pipeline for enterprise architecture model evolution

The discipline of enterprise architecture (EA) is an established approach to model and manage the interaction of business processes and IT in an organization. Thereby, the EA model as a central artifact of EA is subject to a continuous evolution …

Autoren:
Alex R. Sabau, Simon Hacks, Andreas Steffens

19.09.2020 | Special Section Paper Open Access

An epistemic approach to the formal specification of statistical machine learning

We propose an epistemic approach to formalizing statistical properties of machine learning. Specifically, we introduce a formal model for supervised learning based on a Kripke model where each possible world corresponds to a possible dataset and …

Autor:
Yusuke Kawamoto

25.08.2020 | Regular Paper Open Access

Consistent change propagation within models

Developers change models with clear intentions—e.g., for refactoring, defects removal, or evolution. However, in doing so, developers are often unaware of the consequences of their changes. Changes to one part of a model may affect other parts of …

Autoren:
Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed

29.07.2020 | Regular Paper Open Access

Specification and automated verification of atomic concurrent real-time transactions

Many database management systems (DBMS) need to ensure atomicity and isolation of transactions for logical data consistency, as well as to guarantee temporal correctness of the executed transactions. Since the mechanisms for atomicity and …

Autoren:
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

26.07.2020 | Regular Paper Open Access

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets

Wireless technologies are continuously evolving, including features such as the extension to mid- and long-range communications and the support of an increasing number of devices. However, longer ranges increase the probability of suffering from …

Autoren:
Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo

14.07.2020 | Regular Paper Open Access

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review

There exists a plethora of claims about the advantages and disadvantages of model transformation languages compared to general-purpose programming languages. With this work, we aim to create an overview over these claims in the literature and …

Autoren:
Stefan Götz, Matthias Tichy, Raffaela Groner

05.07.2020 | Special Section Paper

Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud

Process design artifacts have been increasingly used to guide the modeling of business processes. To support users in designing and understanding process models, different process artifacts have been combined in several ways leading to the …

Autoren:
Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber

01.07.2020 | Special Section Paper

Automatic derivation of conceptual database models from differently serialized business process models

The existing tools that aim to derive data models from business process models are typically able to process the source models represented by one single notation and also serialized in one specific way. However, the standards (e.g., BPMN) enable …

Autoren:
Drazen Brdjanin, Stefan Ilic, Goran Banjac, Danijela Banjac, Slavko Maric

25.06.2020 | Regular Paper

Modeling cultures of the embedded software industry: feedback from the field

Engineering of modern embedded systems requires complex technical, managerial and operational processes. To cope with the complexity, modeling is a commonly used approach in the embedded software industry. The modeling approaches in embedded …

Autoren:
Deniz Akdur, Bilge Say, Onur Demirörs