Multi-Level Modelling with MultEcore

Abstract

The MULTI Challenges are intended to encourage the Multi-Level Modelling research community to submit solutions to the same, well described problem. This paper presents one solution in the context of process management, where universal properties of process types along with task, artefact and actor types, together with possible particular occurrences for scoped domains, are modelled. We discuss our solution, detailing how we handle each requirement and explain how we use the different features that the MultEcore tool supports to construct the proposed process case study. We not only focus on the structural dimension of the proposed system where the different models that define the language are provided, but also explore the specification of the static semantics to verify structural constraints and dynamic semantics that refer to the behavioural aspect of the modelled system.