Multi-Paradigm Modelling (MPM) has been proposed to tackle the complexities found in
Cyber-Physical Systems. MPM advocates the explicit modelling of all pertinent parts and …

To develop complex systems and tackle their inherent complexity,(executable) modelling
takes a prominent role in the development cycle. But whereas good tool support exists for …

To tackle the growing complexity of engineered systems, Model-Driven Engineering (MDE)
proposes to promote models to first-class citizens in the development process. Within MDE …

A Multi-Paradigm Modelling Approach for Engineering Model Debugging Environments Page 1
Universiteit Antwerpen A Multi-Paradigm Modelling Approach for Engineering Model Debugging …

Domain-Specific Modelling Languages (DSLs) allow domain experts to create models using
abstractions they are most familiar with. A DSL's syntax is specified in two parts: the abstract …

De complexiteit van de systemen die we bouwen is de afgelopen decennia drastisch
toegenomen. Relevante voorbeelden zijn mechatronische en cyberfysische systemen …

A recent approach to tackle the ever increasing complexity of software intensive systems is
Model-Driven Engineering (MDE)[182]. Development of such complex systems spans a …

Non-deterministic formalisms are used to model systems whose runtime behaviour is
inherently non-deterministic (its runtime execution might be different in consecutive runs …

As the complexity of software systems increases, the engineering effort for developing those
systems must deal with that complexity. One paradigm for software development is model …

Stepping is arguably one of the most important operations for model execution, and model
debugging specifically. Each formalism, however, has a different set of supported stepping …