DECLARE Demo: A Constraint-based Workflow Management System MajaPesic m.pesic@tue.nl Department of Mathematics and Computer Science Eindhoven University of Technology
P.O. Box 513 NL-5600 MB The Netherlands
HelenMSchonenberg m.h.schonenberg@tue.nl Department of Mathematics and Computer Science Eindhoven University of Technology
P.O. Box 513 NL-5600 MB The Netherlands
WilVan Der Aalst Department of Mathematics and Computer Science Eindhoven University of Technology
P.O. Box 513 NL-5600 MB The Netherlands
DECLARE Demo: A Constraint-based Workflow Management System 655267627EB6BFFBDBAA8EC5CAC8C569 GROBID - A machine learning software for extracting information from scholarly documents

Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also possible to use a fundamentally different approach based on constraints. DECLARE allows for multiple constraint-based languages whose semantics are grounded in Linear Temporal Logic (LTL). The DECLARE system provides a broad range of functionalities ranging from design, enactment and dynamic change to verification, discovery and recommendation. This demo presents the main functionalities of DECLARE and is intended for both researchers and practitioners interested in innovative BPM solutions for processes that require flexibility.

1 Introduction uses his/her Worklist component to access active instances and execute their tasks. DECLARE is a Java desktop application and is distributed under terms of the GNU General Public License. There is also a tight coupling between DE-CLARE and ProM 2 allowing for innovative forms of analysis and support, e.g., recommending particular process paths based on historic information. DECLARE is significant and innovative in the BPM field because it uses a declarative constraint-based approach instead of the procedural one. In particular, DECLARE illustrates how declarative approaches can indeed be used to realize more flexible BPM solutions, while providing for various types of support [1]. However, the constraint-based approach (and DECLARE) is suitable for smaller business processes: using this approach for complex processes significantly reduces the efficiency and usability of the tool .

Main Functionalities

This demo presents the five main functionalities of DECLARE.

First, constraint templates are created on the system level as types of constraints. Figure 2 shows that a template is graphically represented as a special line between tasks. The formal specification of the template is given as a Linear Temporal Logic formula. Second, constraint models are created by adding tasks and using constraint templates to create constraints between tasks. Figure 3(a) shows a model with tasks curse, pray, bless and become holy, and two constraints. Constraint response specifies that every time one curses, one has to eventually pray afterwards. Constraint 1..* specifies that one has to pray at least once. Third, Figure 3 4(a): task curse is dead. This is due to constraints not co-existence between tasks curse and become holy, which specifies that one cannot both curse and become holy, and 1..* on task become holy, which specifies that one must become holy at lest once.

Finally, Figure 5(a) illustrates the support for dynamic changes in DE-CLARE. Constraint precedence between tasks pray and become holy is added to all current and future instance of the model. Because this constraint requires that one must pray before one becomes holy, and task become holy has already been executed before task pray in instance number 4, this change is applied to all active instances except the instance number 4 (cf. Figure 5(b)).

Conclusions

DECLARE is a fully functional constraint-based WFMS, and it allows for creating, verifying, executing and dynamically changing constraint-based process models. DECLARE proves that a declarative approach can be applied to WFM, which makes WFMSs more flexible.

DECLARE 1[1,2] is a constraint-based WFMS. The core of the system consists of three components, as shown in Figure1. First, the Designer component is used for creating constraint templates, defining organizational structures, creating and verifying constraint models. Second, instances of constraint models are enacted and dynamically changed in the Framework tool. Finally, each user
Fig. 1 .Fig. 1. Architecture of DECLARE
2Fig. 2 .Fig. 2. Creating the response template
(b) shows how a model from Figure3(a) is executed in the Worklist. The whole model is shown to the user, tasks are executed by double-clicking, and states of constraints are presented via special colors: red for satisfied, orange for temporarily violated (not satisfied at the moment, but can become satisfied in the future) and red for permanently violated (not satisfied at the moment, and cannot become satisfied in the future).
Fig. 4 .Fig. 4. Verifying constraint models
http://declare.sf.net
Declarative workflows: Balancing between flexibility and support WM PVan Der Aalst MPesic HSchonenberg Computer Science -Research and Development 23 2 May 2009 DECLARE: Full Support for Loosely-Structured Processes MPesic MHSchonenberg WM PVan Der Aalst Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC) the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
Washington, DC, USA
 IEEE Computer Society 2007