Abstract The complexity of cyber–physical systems ( CPSs ) is commonly addressed through complex workflows , involving models in a plethora different formalisms each with their own methods, techniques, and tools. Some workflow patterns combined particular types operations on these formalisms, are used successfully engineering practice. To identify reuse them, we refer to combinations formalism ...

Several approaches exist for modelling of physical systems, often implemented in a modelling language. Due to differences in modelling approaches, it is a complicated procedure to interchange information between different modelling languages, documents or applications. This puts a constraint on what the users can do in terms of custom simulators and on what simulation tools they can combine. In...

The object-oriented paradigma is a new but proven technology for modelling mechatronics, i.e. multidisciplinary modelling. For many reasons the object-oriented approach is very much desirable also for qualitative models in system design, diagnosis or verification. Bayesian networks are a very robust technology for qualitative probabilistic modelling. In this paper we present a first approach in...