Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs

  title={Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs},
  author={Thomas T. Hildebrandt and Raghava Rao Mukkamala and Tijs Slaats and Francesco Zanitti},
  journal={J. Log. Algebr. Program.},
We conservatively extend the declarative Dynamic Condition Response (DCR) Graph process model, introduced in the PhD thesis of the second author, to allow for discrete time deadlines. We prove that safety and liveness properties can be verified by mapping finite timed DCR Graphs to finite state transition systems. We exemplify how deadlines can introduce time-locks and deadlocks and violate liveness. We then prove that the general technique for safe distribution of DCR Graphs provided in… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS
13 Citations
59 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 13 extracted citations


Publications referenced by this paper.
Showing 1-10 of 59 references

A Formal Model For Declarative Workflows - Dynamic Condition Response Graphs

  • R. R. Mukkamala
  • Ph.D. thesis, IT University of Copenhagen
  • 2012
Highly Influential
4 Excerpts


  • T. Hildebrandt, R. R. Mukkamala
  • Slaats, Verifying liveness and safety for…
  • 2012
1 Excerpt

Similar Papers

Loading similar papers…