Designing an Intelligent Tutoring Chatbot for Declarative Process Modeling Education

Declarative process modeling languages define business processes using constraints, offering a high degree of flexibility. However, several challenges related to human comprehension of such process models have been identified. This paper introduces the design, development, and evaluation of an intelligent tutoring chatbot aimed at teaching the modeling language Declare. We combine principles from Intelligent Tutoring Systems (ITS) and Large Language Models (LLMs) to create an interactive educational tool. The tutoring chatbot can generate an arbitrary number of tasks, which cover basic reasoning, model execution, and active modeling of declarative specifications, focusing on the interplay and inconsistency of constraints. Tasks will increase in difficulty level throughout the use of the chatbot. Additionally, the chatbot validates answers instantly, and users may receive feedback or ask for clarification anytime during the learning process. By offering a practical, interactive, and adaptive learning environment, this work aims to support Business Process Management (BPM) education.