Projects per year
Abstract
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 previous work can be extended to timed DCR Graphs. We exemplify the use of timed DCR Graphs and the distribution technique in praxis on a timed extension of a cross-organizational case management process arising from a previous case study. The example shows how a timed DCR Graph can be used to describe the global contract for a timed workflow process involving several organizations, which can then be distributed as a network of communicating timed DCR Graphs describing the local contract for each organization.
Translated title of the contribution | Kontrakter for tværorganisatoriske arbejdsgange som Timed Dynamic Condition Response Graphs |
---|---|
Original language | English |
Journal | Journal of Logic and Algebraic Programming |
Volume | 82 |
Pages (from-to) | 164–185 |
ISSN | 2352-2208 |
Publication status | Published - 2013 |
Keywords
- Time
- Contracts
- Declarative process models
- Cross-organizational workflow
- Safety
- Liveness
Fingerprint
Dive into the research topics of 'Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs'. Together they form a unique fingerprint.Projects
- 2 Finished
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Project: Research
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Project: Research