News

The article "Automaton-based comparison of Declare process models" authored by Nicolai Schützenmeier, Martin Käppel, Lars Ackermann, Stefan Jablonski and Sebastian Petter has been accepted for publication in Software and Systems Modeling (SoSym). Below you can find the abstract of the article.

Automaton-based comparison of Declare process models
 
The Declare process modeling language has been established within the research community for modeling so-called flexible processes. Declare follows the declarative modeling paradigm and therefore guarantees flexible process execution. For several reasons, declarative process models turned out to be hard to read and comprehend. Thus, it is also hard to decide whether two process models are equal with respect to their semantic meaning, whether one model is completely contained in another one or how far two models overlap. In this paper, we follow an automaton-based approach by transforming Declare process models into finite state automatons and applying automata theory for solving this issue.