Site

Declare

Declare is a prototype of a workflow management system. The novelty in Declare is a declarative approach to business process modeling and execution. Unlike conventional systems, which use graph-like modeling languages (e.g., Petri-nets), Declare uses logic to model and execute business processes. Currently, Linear Temporal Logic (LTL) is the language used to develop process models […]