Projects per year
Abstract
We present distributed dynamic condition response structures as a declarative process model inspired by the workflow language employed by our industrial partner and conservatively generalizing labelled event structures. The model adds to event structures the possibility to 1) finitely specify repeated, possibly infinite behavior, 2) finitely specify fine-grained acceptance conditions for (possibly infinite) runs based on the notion of responses and 3) distribute events via roles. We give a graphical notation inspired by related work by van der Aalst et al and formalize the execution semantics as a labelled transition system. Exploration of the relationship between dynamic condition response structures and traditional models for concurrency, application to more complex scenarios, and further
extensions of the model is left to future work.
extensions of the model is left to future work.
Original language | English |
---|---|
Publication date | Mar 2011 |
Number of pages | 8 |
Publication status | Published - Mar 2011 |
Event | The European Joint Conferences on Theory and Practice of Software (ETAPS) - Paphos, Cyprus, Greece Duration: 20 Mar 2010 → 28 Mar 2010 http://www.etaps.org/2010/ |
Conference
Conference | The European Joint Conferences on Theory and Practice of Software (ETAPS) |
---|---|
Country/Territory | Greece |
City | Paphos, Cyprus |
Period | 20/03/2010 → 28/03/2010 |
Internet address |
Keywords
- Distributed Dynamic Condition Response Structures
- Declarative Process Model
- Labelled Event Structures
- Graphical Notation
- Concurrent Systems
Fingerprint
Dive into the research topics of 'Distributed Dynamic Condition Response Structures'. Together they form a unique fingerprint.Projects
- 1 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