-
Guaranteed master for interval-based cosimulation Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-19 Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot
In this paper, we tackle the problem of guaranteed simulation of cyber-physical systems, an important model for current engineering systems. Their is always increasing complexity which leads to models of higher and higher dimensions, yet typically involving multiple subsystems or even multiple physics. Given this modularity, we more precisely explore cosimulation of such dynamical systems, with the
-
Foundations of information technology based on Bunge’s systemist philosophy of reality Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-18 Roman Lukyanenko, Veda C. Storey, Oscar Pastor
General ontology is a prominent theoretical foundation for information technology analysis, design, and development. Ontology is a branch of philosophy which studies what exists in reality. A widely used ontology in information systems, especially for conceptual modeling, is the BWW (Bunge–Wand–Weber), which is based on ideas of the philosopher and physicist Mario Bunge, as synthesized by Wand and
-
MUPPIT: a method for using proper patterns in model transformations Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-17 Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj
Model transformation plays an important role in developing software systems using the model-driven engineering paradigm. Examples of applications of model transformation include forward engineering, reverse engineering of code into models, and refactoring. Poor-quality model transformation code is costly and hard to maintain. There is a need to develop techniques and tools that can support transformation
-
HoloFlows: modelling of processes for the Internet of Things in mixed reality Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-16 Ronny Seiger, Romina Kühn, Mandy Korzetz, Uwe Aßmann
Our everyday lives are increasingly pervaded by digital assistants and smart devices forming the Internet of Things (IoT). While user interfaces to directly monitor and control individual IoT devices are becoming more sophisticated and end-user friendly, applications to connect standalone IoT devices and create more complex IoT processes for automating and assisting users with repetitive tasks still
-
Model-driven development platform selection: four industry case studies Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-15 Siamak Farshidi, Slinger Jansen, Sven Fortuin
Model-driven development platforms shift the focus of software development activity from coding to modeling for enterprises. A significant number of such platforms are available in the market. Selecting the best fitting platform is challenging, as domain experts are not typically model-driven deployment platform experts and have limited time for acquiring the needed knowledge. We model the problem
-
What is a process model composed of? Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-09 Greta Adamo, Chiara Ghidini, Chiara Di Francescomarino
Business process modelling languages typically enable the representation of business process models by employing (graphical) symbols. These symbols can vary depending upon the verbosity of the language, the modelling paradigm, the focus of the language and so on. To make explicit different constructs and rules employed by a specific language, as well as bridge the gap across different languages, meta-models
-
Language-independent look-ahead for checking multi-perspective declarative process models Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-09 Martin Käppel, Lars Ackermann, Stefan Schönig, Stefan Jablonski
Declarative process modelling languages focus on describing a process by restrictions over the behaviour, which must be satisfied throughout the whole process execution. Hence, they are well suited for modelling knowledge-intensive processes with many decision points. However, such models can be hard to read and understand, which affect the modelling and maintenance of the process models tremendously
-
Uncertainty representation in software models: a survey Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-08 Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo
This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals for addressing uncertainty modeling and introduces a classification framework that allows to compare and classify existing proposals, analyze their current status and identify
-
CHECKSUM: tracking changes and measuring contributions in cooperative systems modeling Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-05 Pierre A. Akiki, Hoda W. Maalouf
Models are often used to represent various types of systems. This is especially true for software systems, where cooperating teams create models using a modeling language (e.g., UML). In cooperative modeling scenarios, it is useful to identify contributions and changes performed by individuals and teams. This paper presents a technique called CHECKSUM, which monitors the cooperative work done on models
-
Testing cockpit display systems of aircraft using a model-based approach Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-04 Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
Avionics are highly critical systems that require extensive testing to comply with international safety standards. Cockpit display systems (CDS) are a mandatory part of modern cockpits of both manned and unmanned aircraft. The information from various avionics components is displayed on CDS using a variety of flight instruments. An important part of testing avionics systems is to evaluate whether the
-
Asynchronous session subtyping as communicating automata refinement Softw. Syst. Model. (IF 1.876) Pub Date : 2021-01-04 Mario Bravetti, Gianluigi Zavattaro
We study the relationship between session types and behavioural contracts, representing Communicating Finite State Machines (CFSMs), under the assumption that processes communicate asynchronously. Session types represent a syntax-based approach for the description of communication protocols, while behavioural contracts, formally expressing CFSMs, follow an operational approach. We show the existence
-
An analysis of capability meta-models for expressing dynamic business transformation Softw. Syst. Model. (IF 1.876) Pub Date : 2020-12-24 Georgios Koutsopoulos, Martin Henkel, Janis Stirna
Environmental dynamism is gaining ground as a driving force for enterprise transformation. To address the changes, the capabilities of digital enterprises need to adapt. Capability modeling can facilitate this process of transformation. However, a plethora of approaches for capability modeling exist. This study explores how concepts relevant to change have been implemented in the meta-models of these
-
The triptych of conceptual modeling Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-27 Heinrich C. Mayr, Bernhard Thalheim
We understand this paper as a contribution to the “anatomy” of conceptual models. We propose a signature of conceptual models for their characterization, which allows a clear distinction from other types of models. The motivation for this work arose from the observation that conceptual models are widely discussed in science and practice, especially in computer science, but that their potential is far
-
Analysis of variability models: a systematic literature review Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-22 Matias Pol’la, Agustina Buccella, Alejandra Cechich
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. Particularly, variability management (VM) is an activity that allows flexibility and a high level of reuse during software development. In the last years
-
Graphical composite modeling and simulation for multi-aircraft collision avoidance Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-16 Feng Zhu, Jun Tang
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 of modeling and simulation approach among multi-aircraft collision avoidance scenario. Thus, a software environment is needed to support convenient development
-
Coordinating large distributed relational process structures Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-09 Sebastian Steinau, Kevin Andrews, Manfred Reichert
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 complex relational process structure. The interactions of processes within this relational process structure need to be coordinated to arrive at a meaningful
-
Improving query performance on dynamic graphs Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-02 Gala Barquero, Javier Troya, Antonio Vallecillo
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 structures, and when data sources are heterogeneous, partly coming from dynamic systems and partly stored in databases. These situations are now common in
-
Live modeling in the context of state machine models and code generation Softw. Syst. Model. (IF 1.876) Pub Date : 2020-11-02 Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel
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 interpretation or by the translation of models into existing programming languages, often by code generation. This work is concerned with the support of live modeling
-
Reproducible execution of POSIX programs with DiOS Softw. Syst. Model. (IF 1.876) Pub Date : 2020-10-23 Petr Ročkai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiříí Barnat
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 two exactly identical instruction traces, even if the program uses threads for parallelism. DiOS is implemented almost entirely in portable C and C++: although
-
A systematic literature review of cross-domain model consistency checking by model management tools Softw. Syst. Model. (IF 1.876) Pub Date : 2020-10-21 Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik
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, and we identified 618 potentially relevant studies; after applying inclusion and exclusion criteria, 96 papers were selected for further analysis. Results The
-
Wodel-Test: a model-based framework for language-independent mutation testing Softw. Syst. Model. (IF 1.876) Pub Date : 2020-10-17 Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
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 such mutations. MT has been extensively studied since the 70’s, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and
-
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF Softw. Syst. Model. (IF 1.876) Pub Date : 2020-10-17 David Granada, Juan M. Vara, Mercedes Merayo, Esperanza Marcos
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 on EMF and GMF, which effectively help to simplify and increase the level of automation of the development process of the editors, but it is important to
-
Pragmatic reuse for DSML development Softw. Syst. Model. (IF 1.876) Pub Date : 2020-10-14 Stefan Klikovits, Didier Buchs
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 REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity
-
Implementing QVT-R via semantic interpretation in UML-RSDS Softw. Syst. Model. (IF 1.876) Pub Date : 2020-09-24 K. Lano, S. Kolahdouz-Rahimi
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 many unclear or unsatisfactory aspects to its semantics, which is not precisely defined in the standard. UML-RSDS is an executable subset of UML and OCL. It
-
Implementation of a continuous delivery pipeline for enterprise architecture model evolution Softw. Syst. Model. (IF 1.876) Pub Date : 2020-09-21 Alex R. Sabau, Simon Hacks, Andreas Steffens
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 caused by multiple sources of changes. The continuous evolution requires a lot of effort in controlling and managing the evolution of the EA model. This is
-
An epistemic approach to the formal specification of statistical machine learning Softw. Syst. Model. (IF 1.876) Pub Date : 2020-09-19 Yusuke Kawamoto
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 modal operators are interpreted as transformation and testing on datasets. Then, we formalize various notions of the classification performance, robustness
-
Consistent change propagation within models Softw. Syst. Model. (IF 1.876) Pub Date : 2020-08-25 Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed
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 the same model and/or even other models, possibly created and maintained by other developers. The consequences are incomplete changes and with it inconsistencies
-
Automatic generation of UML profile graphical editors for Papyrus Softw. Syst. Model. (IF 1.876) Pub Date : 2020-08-11 Ran Wei; Athanasios Zolotas; Horacio Hoyos Rodriguez; Simos Gerasimou; Dimitrios S. Kolovos; Richard F. Paige
UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts. Eclipse Papyrus is a powerful open-source UML modelling tool which supports UML profiling. However, with power comes complexity, implementing non-trivial UML profiles and their supporting editors in Papyrus typically requires the developers to handcraft and maintain
-
The RALph miner for automated discovery and verification of resource-aware process models Softw. Syst. Model. (IF 1.876) Pub Date : 2020-08-08 Cristina Cabanillas, Lars Ackermann, Stefan Schönig, Christian Sturm, Jan Mendling
Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred
-
Specification and automated verification of atomic concurrent real-time transactions Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-29 Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
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 isolation may lead to breaching temporal correctness, trade-offs between these properties are often required during the DBMS design. To be able to address this concern
-
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-26 Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
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 hidden terminal issues. In the particular case of Wireless Local Area Networks (WLANs), the use of Quality of Service (QoS) mechanisms introduced in IEEE 802
-
Opportunities in intelligent modeling assistance Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-17 Gunter Mussbacher; Benoit Combemale; Jörg Kienzle; Silvia Abrahão; Hyacinth Ali; Nelly Bencomo; Márton Búr; Loli Burgueño; Gregor Engels; Pierre Jeanjean; Jean-Marc Jézéquel; Thomas Kühn; Sébastien Mosser; Houari Sahraoui; Eugene Syriani; Dániel Varró; Martin Weyssow
Modeling is requiring increasingly larger efforts while becoming indispensable given the complexity of the problems we are solving. Modelers face high cognitive load to understand a multitude of complex abstractions and their relationships. There is an urgent need to better support tool builders to ultimately provide modelers with intelligent modeling assistance that learns from previous modeling experiences
-
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-14 Stefan Götz, Matthias Tichy, Raffaela Groner
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 systematize evidence thereof. For this purpose, we conducted a systematic literature review by following a systematic process for searching and selecting relevant
-
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-05 Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber
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 emergence of the so-called “hybrid process artifacts”. While many hybrid artifacts have been proposed in the literature, little is known about how they can actually
-
Automatic derivation of conceptual database models from differently serialized business process models Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-01 Drazen Brdjanin, Stefan Ilic, Goran Banjac, Danijela Banjac, Slavko Maric
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 different serialization formats and also provide serialization flexibility, which leads to various implementations of the standard in different modeling tools
-
Mixed-semantics composition of statecharts for the component-based design of reactive systems Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-01 Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for different composition approaches in various application domains), and precise formal semantics (support for verification and code generation) have to be taken
-
Interface protocol inference to aid understanding legacy software components Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-28 Kousar Aslam, Loek Cleophas, Ramon Schiffelers, Mark van den Brand
High-tech companies are struggling today with the maintenance of legacy software. Legacy software is vital to many organizations as it contains the important business logic. To facilitate maintenance of legacy software, a comprehensive understanding of the software’s behavior is essential. In terms of component-based software engineering, it is necessary to completely understand the behavior of components
-
Modeling cultures of the embedded software industry: feedback from the field Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-25 Deniz Akdur, Bilge Say, Onur Demirörs
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 software vary since the characteristics of modeling such as purpose, medium type and life cycle phase differ among systems and industrial sectors. The objective
-
An improved approach on the model checking for an agent-based simulation system Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-14 Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
Model checking is an effective way to verify behaviours of an agent-based simulation system. Three behaviours are analysed: operational, control, and global behaviours. Global behaviours of a system emerge from operational behaviours of local components regulated by control behaviours of the system. The previous works principally focus on verifying the system from the operational point of view (operational
-
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-13 Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie
Product line engineering (PLE) has been employed to large-scale cyber-physical systems (CPSs) to provide customization based on users’ needs. A PLE methodology can be characterized by its support for capturing and managing the abstractions as commonalities and variabilities and the automation of the configuration process for effective selection and customization of reusable artifacts. The automation
-
Ontologies for finding journalistic angles Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-12 Andreas L. Opdahl, Bjørnar Tessem
Journalism relies more and more on information and communication technology (ICT). ICT-based journalistic knowledge platforms continuously harvest potentially news-relevant information from the Internet and make it useful for journalists. Because information about the same event is available from different sources and formats vary widely, knowledge graphs are emerging as a preferred technology for
-
On the benefits of file-level modularity for EMF models Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-12 Karim Jahed, Mojtaba Bagherzadeh, Juergen Dingel
Model-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 existing code versioning systems and other related facilities such as Git and Make. In this work, we describe an approach for storing models in multiple files
-
Empirical evaluation of CMMN models: a collaborative process case study Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-09 Ioannis Routis, Mara Nikolaidou, Dimosthenis Anagnostopoulos
Case Management Model and Notation (CMMN) was introduced by the Object Management Group as an alternative modeling language, targeting human-centric processes characterized by lack of structure and agility. However, although it is adequately supported by well-known process management tools, CMMN applicability as a modeling language is being questioned in practice. In this work, an empirical evaluation
-
A query-retyping approach to model transformation co-evolution Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-09 Adrian Rutle; Ludovico Iovino; Harald König; Zinovy Diskin
In rule-based approaches, a model transformation definition tells how an instance of a source metamodel should be transformed to an instance of a target metamodel. As these metamodels undergo changes, model transformations defined over these metamodels may get out of sync. Restoring conformance between model transformations and the metamodels is a complex and error-prone task. In this paper, we propose
-
Generation of hazard relation diagrams: formalization and tool support Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-03 Bastian Tenbergen, Thorsten Weyer
Developing safety-critical, software-intensive embedded systems are characterized by the need to identify hazards and to define hazard-mitigating requirements at the earliest possible stage of development, i.e., during requirements engineering. These hazard-mitigating requirements must be adequate in the sense that they must specify the functionality required by the stakeholders in addition to rendering
-
Imperative versus declarative constraint specification languages: a controlled experiment Softw. Syst. Model. (IF 1.876) Pub Date : 2020-05-18 Azzam Maraee, Arnon Sturm
Model-based software engineering gains further attention these days. To better support it, the use of constraint languages is important in order to bridge expressiveness gaps and eliminate ambiguity. Nevertheless, the use of model-based constraint languages, like the Object Constraint Language (OCL), is quite limited and the specification of constraints is left to the implementation stage. One option
-
Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit Softw. Syst. Model. (IF 1.876) Pub Date : 2020-05-08 Tao Chen, Michael Schiek, Jürgen Dammers, N. Jon Shah, Stefan van Waasen
The paper describes a multidisciplinary work that uses a model-based systems engineering method for developing real-time magnetoencephalography (MEG) signal processing. We introduce a requirement-driven, model-based development methodology (RDD and MBD) to provide a high-level environment and efficiently handle the complexity of computation and control systems. The proposed development methodology
-
Modelling multi-criticality vehicular software systems: evolution of an industrial component model Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-30 Alessio Bucaioni; Saad Mubeen; Federico Ciccozzi; Antonio Cicchetti; Mikael Sjödin
Software in modern vehicles consists of multi-criticality functions, where a function can be safety-critical with stringent real-time requirements, less critical from the vehicle operation perspective, but still with real-time requirements, or not critical at all. Next-generation autonomous vehicles will require higher computational power to run multi-criticality functions and such a power can only
-
Behavioral interfaces for executable DSLs. Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-23 Dorian Leroy,Erwan Bousse,Manuel Wimmer,Tanja Mayerhofer,Benoit Combemale,Wieland Schwinger
Executable domain-specific languages (DSLs) enable the execution of behavioral models. While an execution is mostly driven by the model content (e.g., control structures), many use cases require interacting with the running model, such as simulating scenarios in an automated or interactive way, or coupling the model with other models of the system or environment. The management of these interactions
-
An interdisciplinary comparison of sequence modeling methods for next-element prediction Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-07 Niek Tax, Irene Teinemaa, Sebastiaan J. van Zelst
Data of sequential nature arise in many application domains in the form of, e.g., textual data, DNA sequences, and software execution traces. Different research disciplines have developed methods to learn sequence models from such datasets: (i) In the machine learning field methods such as (hidden) Markov models and recurrent neural networks have been developed and successfully applied to a wide range
-
Hazard-driven realization views for Component Fault Trees Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-24 David Santiago Velasco Moncada
Traditionally, the preferred means of documentation used by safety engineers have been sheets- and text-based solutions. However, in the last decades, the introduction of model-driven engineering in conjunction with Component-Based Design has been influencing the way safety engineers perform their tasks; especially in the area of fault analysis, model-driven approaches have been developed aimed at
-
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19 Stefan Schönig, Lars Ackermann, Stefan Jablonski, Andreas Ermer
Business processes are frequently executed within application systems that involve humans, computer systems as well as objects of the Internet of Things (IoT). Nevertheless, the usage of IoT technology for system supported process execution is still constrained by the absence of a common system architecture that manages the communication between both worlds. In this paper, we introduce an integrated
-
Profiling users via their reviews: an extended systematic mapping study Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19 Xin Dong, Tong Li, Rui Song, Zhiming Ding
With the extensive development of big data and social networks, the user profile field has received much attention. User profiling is essential for understanding the characteristics of various users, contributing to better understanding of their requirements in specific scenarios. User-generated contents which directly reflect people’s thoughts and intention are a valuable source for profiling users
-
Scalable model views over heterogeneous modeling technologies and resources Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-08 Hugo Bruneliere; Florent Marchand de Kerchove; Gwendal Daniel; Sina Madani; Dimitris Kolovos; Jordi Cabot
When engineering complex systems, models are typically used to represent various systems aspects. These models are often heterogeneous in terms of modeling languages, provenance, number or scale. As a result, the information actually relevant to engineers is usually split into different kinds of interrelated models. To be useful in practice, these models need to be properly integrated to provide global
-
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-25 Bernhard Westfechtel; Sandra Greiner
Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model transformations, which automate the transition from high- to low-level models. Product line engineering denotes a systematic process that aims at developing different product variants from a set of reusable assets. When model-driven engineering is combined with
-
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19 Perdita Stevens
Software build systems tackle the problem of building software from sources in a way which is sound (when a build completes successfully, the relations between the generated and source files are as specified) and optimal (only genuinely required rebuilding steps are done). In this paper, we explain and exploit the connection between software build and the megamodel consistency problem. The model-driven
-
Automated synthesis of local time requirement for service composition Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-13 Étienne André; Tian Huat Tan; Manman Chen; Shuang Liu; Jun Sun; Yang Liu; Jin Song Dong
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important
-
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-12 Johannes Eder; Sebastian Voss; Andreas Bayha; Alexandru Ipatiov; Maged Khalil
As the engineering of distributed embedded systems is getting more and more complex, due to increasingly sophisticated functionalities demanding more and more powerful hardware, model-based development of software-intensive embedded systems has become a de facto standard in recent years. Among other advantages, it enables design space exploration methods allowing for frontloading techniques which support
-
Model-driven process enactment for NFV systems with MAPLE Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-28 Sadaf Mustafiz; Omar Hassane; Guillaume Dupont; Ferhat Khendek; Maria Toeroe
The network functions virtualization (NFV) advent is making way for the rapid deployment of network services (NS) for telecoms. Automation of network service management is one of the main challenges currently faced by the NFV community. Explicitly defining a process for the design, deployment, and management of network services and automating it is therefore highly desirable and beneficial for NFV
-
Model-based safety assessment with SysML and component fault trees: application and lessons learned Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-26 Peter Munk; Arne Nordmann
Mastering the complexity of safety assurance for modern, software-intensive systems is challenging in several domains, such as automotive, robotics, and avionics. Model-based safety analysis techniques show promising results to handle this challenge by automating the generation of required artifacts for an assurance case. In this work, we adapt prominent approaches and propose to augment of SysML models
Contents have been reproduced by permission of the publishers.