Evaluating DeepTelos for ConceptBase
A Contribution to the Multi-Level Process Challenge
Keywords:Multi-level modeling, Telos, Process Modeling, ConceptBase, Datalog
The 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.
Copyright (c) 2022 Manfred A. Jeusfeld
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors who publish with this journal agree to the following terms: Authors retain copyright and grant the journal 'Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling' and the Gesellschaft für Informatik e.V. (GI) the permission of first publication, and the non-exclusive, irrevocable and non-time limited publication permission for the submitted work including the permissions to store, copy, distribute and reproduce their work in printed and electronic form for the duration of the legal copyright. This includes the right of translation. Authors grant the journal 'Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling' and the Gesellschaft für Informatik e.V. (GI) the permission to license their work under a Creative Commons BY-SA 4.0 license that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book) given an acknowledgement of its initial publication in this journal.
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access). The submitting corresponding author on behalf of all co-authors asserts that she/he is entitled to the granting of the above mentioned permissions for the submitted work.