Towards an E-Learning Approach for Declarative Process Modeling

In contrast to procedural process models, where every valid execution trace is explicitly modeled, declarative process models (DPMs) implicitly define allowed company behavior using a set of constraints. Related works have identified many challenges humans face when trying to make sense of DPMs, including combinations of constraints, inconsistencies, and the (graphical) notation of declarative constraints themselves. In this work, we provide the foundation for an e-learning approach designed to gradually familiarize users with the modeling language Declare. More specifically, we introduce a comprehensive collection of different types of tasks with increasing levels of difficulty. These tasks cover basic concepts, individual constraints, constraint combinations of different complexity, model behavior, as well as redundancy and inconsistency within DPMs. With this work, we aim to lay the foundation for future interactive applications to support not only teaching but also improving both comprehension and (consistent) declarative process modeling.