Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

Raghava Rao Mukkamala (IT University of Copenhagen); Thomas T. Hildebrandt (IT University of Copenhagen)

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1110.4161 v1 pith:U7BOY4WN submitted 2011-10-19 cs.LO cs.FLcs.PL

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

Thomas T. Hildebrandt (IT University of Copenhagen) , Raghava Rao Mukkamala (IT University of Copenhagen) This is my paper

classification cs.LO cs.FLcs.PL

keywords graphsconditionresponseworkflowdistributeddynamiceventsdeclarative

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

We present Dynamic Condition Response Graphs (DCR Graphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conservatively generalizing prime event structures. A dynamic condition response graph is a directed graph with nodes representing the events that can happen and arrows representing four relations between events: condition, response, include, and exclude. Distributed DCR Graphs is then obtained by assigning roles to events and principals. We give a graphical notation inspired by related work by van der Aalst et al. We exemplify the use of distributed DCR Graphs on a simple workflow taken from a field study at a Danish hospital, pointing out their flexibility compared to imperative workflow models. Finally we provide a mapping from DCR Graphs to Buchi-automata.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Improving the Understandability of Conceptual Models via Abstract Notation Engineering
cs.SE 2026-07 conditional novelty 6.0

An empirically guided method for abstracting recurring notation patterns is introduced and instantiated as DeCleaR for DCR graphs, improving perceived quality and preference but not objective decoding accuracy.