KIT | KIT-Bibliothek | Impressum | Datenschutz

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Amrani, Moussa; Blouin, Dominique; Heinrich, Robert 1; Rensink, Arend; Vangheluwe, Hans; Wortmann, Andreas
1 Karlsruher Institut für Technologie (KIT)

Abstract:

The complexity of cyber–physical systems (CPSS) is commonly addressed through complex workflows, involving models in a plethora of different formalisms, each with their own methods, techniques, and tools. Some workflow patterns, combined with particular types of formalisms and operations on models in these formalisms, are used successfully in engineering practice. To identify and reuse them, we refer to these combinations of workflow and formalism patterns as modelling paradigms. This paper proposes a unifying (Descriptive) Framework to describe these paradigms, as well as their combinations. This work is set in the context of Multi-Paradigm Modelling (MPM), which is based on the principle to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s) and workflows. The purpose of the Descriptive Framework presented in this paper is to serve as a basis to reason about these formalisms, workflows, and their combinations. One crucial part of the framework is the ability to capture the structural essence of a paradigm through the concept of a paradigmatic structure. ... mehr


Verlagsausgabe §
DOI: 10.5445/IR/1000134293
Veröffentlicht am 23.06.2021
Originalveröffentlichung
DOI: 10.1007/s10270-021-00876-z
Scopus
Zitationen: 21
Web of Science
Zitationen: 16
Dimensions
Zitationen: 17
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2021
Sprache Englisch
Identifikator ISSN: 1619-1366, 1619-1374
KITopen-ID: 1000134293
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Weitere HGF-Programme 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in Software and Systems Modeling
Verlag Springer
Band 20
Seiten 611–639
Vorab online veröffentlicht am 09.06.2021
Nachgewiesen in Dimensions
Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page