Multi-Paradigm Modelling For Model Based Systems Engineering: Extending The FTG + PM

Abstract

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.