Multi-paradigm modelling for design of complex heterogeneous systems

Model-based techniques allow design teams to reduce development time and increase quality of products. The ubiquitous use of models in design has created challenges beyond supporting one isolated design task. In particular, the need to combine, couple, and integrate models at different levels of abstraction and in different formalisms poses problems which (Computer Automated) multi-paradigm modelling (CAMPaM) addresses. At the heart of multi-paradigm modeling is the use of explicit models throughout the development process (including requirements, design, realization, and testing). This leads to a framework with models to represent the syntax of formalisms used for modelling, models of the transformations that represent the operational semantics, as well as model-to-model transformations for inter-formalism transformation, refinement, and synthesis. This paper introduces the main CAMPaM concepts.