Skip to main content

Software & Systems Modeling OnlineFirst articles

Open Access 10-05-2024 | Publisher Correction

Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

Authors:
Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula, Giancarlo Guizzardi

08-05-2024 | Theme Section Paper

Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools

Software requirements specification describes users’ needs and expectations on some target system. Requirements documents are typically represented by unstructured natural language text. Such texts are the basis for the various subsequent …

Authors:
Fatma Bozyigit, Tolgahan Bardakci, Alireza Khalilipour, Moharram Challenger, Guus Ramackers, Önder Babur, Michel R. V. Chaudron

Open Access 30-04-2024 | Special Section Paper

Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models

Many powerful metamodeling platforms enabling model-driven software engineering (MDSE) exist, each with its strengths, weaknesses, functionalities, programming language(s), and developer community. Platform interoperability would enable users to …

Authors:
Florian Cesal, Dominik Bork

29-04-2024 | Expert Voice

What makes a good modeling research contribution?

The modeling field is rapidly evolving and expanding to address new research topics and to connect with new disciplines. As such, what constituted a good modeling research contribution ten years ago may not be the same today. We try to distill …

Authors:
Richard F. Paige, Jordi Cabot

29-04-2024 | Special Section Paper

Accelerating similarity-based model matching using dual hashing

Similarity-based model matching is the cornerstone of model versioning. It pairs model elements based on a distance metric (e.g., edit distance). However, calculating the distances between elements is computationally expensive. Consequently, a …

Authors:
Xiao He, Yi Liu, Huihong He

Open Access 25-04-2024 | Special Section Paper

On the application of process management and process mining to Industry 4.0

The continuous evolution of digital technologies applied to the more traditional world of industrial automation led to Industry 4.0, which envisions production processes subject to continuous monitoring and able to dynamically respond to changes …

Authors:
Flavia Monti, Jerin George Mathew, Francesco Leotta, Agnes Koschmider, Massimo Mecella

Open Access 18-04-2024 | Regular Paper

Current trends in digital twin development, maintenance, and operation: an interview study

Digital twins (DTs) are often defined as a pairing of a physical entity and a corresponding virtual entity (VE), mimicking certain aspects of the former depending on the use-case. In recent years, this concept has facilitated numerous use-cases …

Authors:
Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort

18-04-2024 | Regular Paper

Improving repair of semantic ATL errors using a social diversity metric

Model transformations play an essential role in the model-driven engineering paradigm. However, writing a correct transformation requires the user to understand both what the transformation should do and how to enact that change in the …

Authors:
Zahra VaraminyBahnemiry, Jessie Galasso, Bentley Oakes, Houari Sahraoui

Open Access 18-04-2024 | Regular Paper

Gamification of business process modeling education: an experimental analysis

Gamification, the practice of using game elements in non-recreational contexts to increase user participation and interest, has been applied more and more throughout the years in software engineering. Business process modeling is a skill …

Authors:
Giacomo Garaccione, Riccardo Coppola, Luca Ardito, Marco Torchiano

16-04-2024 | Regular Paper

Empirically evaluating modeling language ontologies: the Peira framework

Conceptual modeling plays a central role in planning, designing, developing and maintaining software-intensive systems. One of the goals of conceptual modeling is to enable clear communication among stakeholders involved in said activities. To …

Authors:
Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, Shakil M. Khan

Open Access 16-04-2024 | Guest Editorial

Guest editorial to the special section on SEFM’22

Authors:
Bernd-Holger Schlingloff, Ming Chai

12-04-2024 | Guest Editorial

Guest editorial to the theme section on Trends in Enterprise Architecture Research

This theme section on Trends in Enterprise Architecture Research originated at the 2022 TEAR workshop, co-located with the Enterprise Design, Operations and Computing conference. Together with a general call for papers, an invitation to submit …

Authors:
Sybren de Kinderen, Dominik Bork

Open Access 08-04-2024 | Special Section Paper

From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain

Due to hyper-competition, technological advancements, regulatory changes, etc, the conditions under which enterprises need to thrive become increasingly turbulent. Consequently, enterprise agility increasingly determines an enterprise’s chances …

Authors:
Marien R. Krouwel, Martin Op ’t Land, Henderik A. Proper

Open Access 21-03-2024 | Special Section Paper

Learning minimal automata with recurrent neural networks

In this article, we present a novel approach to learning finite automata with the help of recurrent neural networks. Our goal is not only to train a neural network that predicts the observable behavior of an automaton but also to learn its …

Authors:
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler

Open Access 19-03-2024 | Special Section Paper

Exchanging information in cooperative software validation

Cooperative software validation aims at having verification and/or testing tools cooperate on the task of correctness checking. Cooperation involves the exchange of information about currently achieved results in the form of (verification) …

Authors:
Jan Haltermann, Heike Wehrheim

16-03-2024 | Theme Section Paper

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

To correctly formalise requirements expressed in natural language, ambiguities must first be identified and then fixed. This paper focuses on behavioural requirements (i.e. requirements related to dynamic aspects and phenomena). Its first …

Authors:
Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel

Open Access 16-03-2024 | Regular Paper

A model-based reference architecture for complex assistive systems and its application

Complex assistive systems providing human behavior support independent of the age or abilities of users are broadly used in a variety of domains including automotive, production, aviation, or medicine. Current research lacks a common understanding …

Authors:
Judith Michael, Volodymyr A. Shekhovtsov

Open Access 14-03-2024 | Special Section Paper

User journey games: automating user-centric analysis

The servitization of business is moving industry to business models driven by customer demand. Customer satisfaction is connected with financial rewards, forcing companies to invest in their users’ experience. User journeys describe how users …

Authors:
Paul Kobialka, S. Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen

Open Access 05-03-2024 | Theme Section Paper

Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

Competence-based approaches have received increased attention, as the demand for qualified people with the right combination of competences establishes itself as a major factor of organizational performance. This paper examines how competences can …

Authors:
Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula, Giancarlo Guizzardi

Open Access 28-02-2024 | Regular Paper

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

The capability to integrate Internet of Things (IoT) technologies into business processes (BPs) has emerged as a transformative paradigm, offering unprecedented opportunities for organisations to enhance their operational efficiency and …

Authors:
Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Victoria Torres, Pedro Valderas