This application stores Declare process models and metrics to evaluate them, promoting a collaborative approach that encourages model reuse and benchmarking to support rigorous research and continuous improvement. With just one click above, you can join the Declare community.

The RuM tool is a desktop application to use alongside this repository. It allows you to model Declare processes and export them as models, automata, or text descriptions. These files can then be uploaded to this web application to share with others. The tool also includes process mining features for analysis.

The declarative paradigm supports loosely structured business processes, ideal for unpredictable scenarios with many variations and exceptions, like handling customer support tickets where tasks - acknowledging, prioritizing, resolving, reviewing - occur in varying orders. It excels when comprehensively defining a process's behavior from start to end is challenging.

This Declare Repository was developed as part of a Master's thesis titled 'Systematic collection and classification of DECLARE process models'. The thesis aims to create a repository for Declare process models, which currently does not exist. While many repositories for imperative process models exist, they cannot include declarative models.

The project was developed by Bartosz Ziolkowski, who is soon to graduate with an MSc degree in Computer Science and Engineering from the Technical University of Denmark. The thesis was supervised by Ekkart Kindler, Associate Professor, and Andrey Rivkin, Assistant Professor (Tenure Track), both from DTU Compute, the Department of Applied Mathematics and Computer Science.