MULTI-PARADIGM MODELLING FOR MODEL BASED SYSTEMS ENGINEERING: EXTENDING THE FTG plus PM

被引：0
|
作者：
Paredis, Randy [1 ]
Exelmans, Joeri [1 ]
Vangheluwe, Hans [1 ]
机构：
[1] Univ Antwerp, Flanders Make, Middelheimlaan 1, Antwerp, Belgium
来源：
PROCEEDINGS OF THE 2022 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'22) | 2022年
关键词：
Formalism Transformation Graph and Process Model (FTG plus PM); Model-Based Systems Engineering (MBSE); Multi-Paradigm Modelling (MPM);
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Model Based Systems Engineering (MBSE) supports Cyber-Physical Systems ( CPS) design, by experts from various domains, through complex workflows, manipulating models in different formalisms, each with their own methods, techniques and tools. We refer to often-used combinations of workflow and formalism patterns as modelling paradigms. The Formalism Transformation Graph ( FTG) and Process Model (PM) are key components in Multi-Paradigm Modelling ( MPM) based MBSE, which combines multiple modelling paradigms. This paper extends the FTG+ PM framework: a Process Trace (PT) records all start/end events of engineering activities as well as all versions of all artifacts consumed/produced by them. A PT results from the enactment of a PM. The artifacts and activities in the PT are "virtual": though referred to in a technology-agnostic manner, they are realized using various technologies. Adapters translate between both, making the FTG+ PM federated. An Automated Guided Vehicle (AGV) example is used.
引用
收藏
页码：461 / 474
页数：14
相关论文
共 50 条
  • [41] Special issue on Architecting Dependable Multi-paradigm Computing Systems
    Patrizia Scandurra
    Matteo Camilli
    Raffaela Mirandola
    Sungwon Kang
    [J]. Computing, 2023, 105 : 1847 - 1847
  • [42] Computer aided multi-paradigm modelling to process Petri-Nets and statecharts
    de Lara, J
    Vangheluwe, H
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 239 - 253
  • [43] On-the-Fly Calculation of Model Factors for Multi-paradigm Applications
    Protze, Joachim
    Orland, Fabian
    Haldar, Kingshuk
    Koritzius, Thore
    Terboven, Christian
    [J]. EURO-PAR 2022: PARALLEL PROCESSING, 2022, 13440 : 69 - 84
  • [44] A multi-modal multi-paradigm agent-based approach to design scalable distributed biometric systems
    Gamassi, M
    Piuri, V
    Sana, D
    Scotti, F
    Scotti, O
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR HOMELAND SECURITY AND PERSONAL SAFETY, 2005, : 65 - 70
  • [45] A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems
    Giese, Holger
    Henkler, Stefan
    Hirsch, Martin
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2011, 87 (09): : 775 - 808
  • [46] Multi-Paradigm Computing Architecture for Power Efficient Intent Based Networks
    Periola, A. A.
    Alonge, A. A.
    Ogudo, K. A.
    [J]. 2019 IEEE 2ND WIRELESS AFRICA CONFERENCE (WAC), 2019, : 56 - 62
  • [47] High performance multi-paradigm messaging runtime integrating grids and multicore systems
    Qiu, Xiaohong
    Fox, Geoffrey C.
    Yuan, Huapeng
    Bae, Seung-Hee
    Chrysanthakopoulos, George
    Nielsen, Henrik Frystyk
    [J]. E-SCIENCE 2007: THIRD IEEE INTERNATIONAL CONFERENCE ON E-SCIENCE AND GRID COMPUTING, PROCEEDINGS, 2007, : 407 - +
  • [48] Model Integration and Model Transformation Approach for Multi-Paradigm Cyber Physical System Development
    Lichen, Lichen
    [J]. PROGRESS IN SYSTEMS ENGINEERING, 2015, 366 : 629 - 635
  • [49] RAPORT OF RESEARCH OF CULTURES OF HIGHER EDUCATION INSTITUTIONS BASED ON MULTI-PARADIGM
    Sulkowski, Lukasz
    [J]. ECONOMIC AND SOCIAL DEVELOPMENT, 2017, : 617 - 626
  • [50] Forward slicing of multi-paradigm declarative programs based on partial evaluation
    Vidal, G
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 219 - 237
12345