skip to main content
10.1145/3419804acmconferencesBook PagePublication PagesicseConference Proceedingsconference-collections
SAM '20: Proceedings of the 12th System Analysis and Modelling Conference
ACM2020 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SAM '20: 12th System Analysis and Modelling Conference Virtual Event Canada October 19 - 20, 2020
ISBN:
978-1-4503-8140-6
Published:
19 October 2020
Sponsors:
SIGSOFT, IEEE CS
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 20 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
research-article
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 ...

research-article
Open Access
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 ...

research-article
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)...

research-article
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 ...

research-article
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 ...

research-article
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 ...

research-article
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 ...

research-article
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 ...

research-article
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 ...

research-article
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. ...

research-article
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 ...

research-article
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 ...

research-article
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 ...

short-paper
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 ...

research-article
SDL Cellular Automaton COVID-19 conceptualization

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 ...

research-article
Open Access
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. ...

Contributors
  • School of Higher Technology
  • Concordia University
  • School of Higher Technology
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

SAM '20 Paper Acceptance Rate 16 of 26 submissions, 62%;
Overall Acceptance Rate 36 of 59 submissions, 61%
YearSubmittedAcceptedRate
SAM '20261662%
SAM '145360%
SAM '1316850%
SAM '1212975%
Overall593661%