No abstract available.
Proceeding Downloads
A Formalism for Specifying Model Merging Conflicts
Verifying the consistency of model merging is an important step towards the support for team collaboration in software modeling and evolution. Since merging conflicts are inevitable, this has triggered intensive research on conflict management in ...
Towards automated provenance collection for runtime models to record system history
In highly dynamic environments, systems are expected to make decisions on the fly based on their observations that are bound to be partial. As such, the reasons for its runtime behaviour may be difficult to understand. In these cases, accountability is ...
Bounded Verification of State Machine Models
In this work, we propose a bounded verification approach for state machine (SM) models that is independent of any model checking tools. This independence is achieved by encoding the execution semantics of SM models as Satisfiability Modulo Theories (SMT)...
iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms
Smart contracts are immutable digital programs deployed onto blockchain platforms to codify agreements. They enable blockchain technology to play a vital role in many fields, such as finance, health care, and energy. An important aspect of modeling and ...
An attempt to convert BPMN models to SDL
Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model and Notation (BPMN) is part of NAF and allows describing the behaviour of the different ...
Model-Based Reconfiguration Planning for a Distributed On-board Computer
The ScOSA project (Scalable On-board Computing for Space Avionics) of the German Aerospace Center aims at combining radiation hardened space hardware together with unreliable, but high performance COTS (commercial off-the-shelf) components as the ...
A Model Traceability Framework for Network Service Management
Automating enactment along with traceability management of processes using model-driven engineering methods could be of significant benefit to the Network Functions Virtualization (NFV) paradigm in view of its move towards zero-touch automation of the ...
Facilitating the Co-Evolution of Semantic Descriptions in Standards and Models
One of the main activities of the Interfaces and Architecture (IFA) working group within the Network Function Virtualisation (NFV) Industry Specification Group (ISG) at the European Telecommunications Standards Institute (ETSI) is the specification of ...
Process-Based Simulation with Stackless Coroutines
Computer simulations are useful tools to predict and test accumulated knowledge about the behavior of complex systems. The use of process-based simulators has historically been established in combination with object-oriented languages and requires ...
Action-Driven Consistency for Modular Multi-Language Systems with Perspectives
Model-driven engineering advocates the use of different modelling languages and multiple views to describe the characteristics of a complex system. This allows to express a specific system characteristic with the most appropriate modelling language. ...
Layout Merging with Relative Positioning
The advent of modeling in software engineering, like other engineering fields, has revolutionized the formalism and pace of software development. However, software applications are not built from scratch, instead, other existing software artifacts are ...
Traceability Management of GRL and SysML Models
Emerging socio-cyber-physical systems integrate social concerns, often captured with goal models, with complex systems, where structure and behavior are often captured in SysML. Traceability between these two types of models is important to reason about ...
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems
One of the key requirements for designing safety critical cyber physical systems (CPS) is to ensure resiliency. Typically, the cyber sub-system in a CPS is empowered with protection devices that quickly detect and isolate faulty components to avoid ...
A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling
Goal modelling is one the most important early activities in requirements engineering. Here, we describe a vision for a conceptual basis for the systematic identification and treatment of uncertainty in goal modelling. We aim to characterize the wide ...
SDL Cellular Automaton COVID-19 conceptualization
- Pau Fonseca i Casas,
- Joan Garcia i Subirana,
- Victor Garcia i Carrasco,
- Jorge Luiz Silva de Barcellos,
- Josep Roma,
- Xavier Pi
The digitalization of a phenomenon allows us to understand, discuss, and predict its behavior. In environmental areas, and specifically in a pandemic situation this is not an exception. The language selected to perform this conceptualization must help ...
Temporal Models for History-Aware Explainability
On one hand, there has been a growing interest towards the application of AI-based learning and evolutionary programming for self-adaptation under uncertainty. On the other hand, self-explanation is one of the self-* properties that has been neglected. ...
Index Terms
- Proceedings of the 12th System Analysis and Modelling Conference