Manfred A. Jeusfeld2023-05-142023-05-142022https://dl.gi.de/handle/20.500.12116/41536The process modeling challenge provides an opportunity to compare various approaches to multi-level conceptual modeling. In particular, the challenge requests the definition of constructs for designing process models plus the facilities to create process models with these constructs, and to analyze the execution of such processes, all in one multi-level model. In this paper, we evaluate the performance of DeepTelos in solving the challenge. DeepTelos is an extension of the Telos modeling language that adds a small number of rules and constraints to the Telos axioms in order to facilitate multi-level modeling by means of so-called most-general instances, a variant of the powertype pattern. We present the technology behind DeepTelos and address the individual tasks of the process modeling challenge. A critical review discusses strengths and weaknesses exposed by the solution to the challenge.enMulti-level modelingTelosProcess ModelingConceptBaseDatalogText/Journal Article10.18417/emisa.17.5