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

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.