Distributed Dynamic Condition Response Structures

Thomas Hildebrandt, Raghava Rao Mukkamala

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

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.
OriginalsprogEngelsk
Publikationsdatomar. 2011
Antal sider8
StatusUdgivet - mar. 2011
BegivenhedThe European Joint Conferences on Theory and Practice of Software (ETAPS) - Paphos, Cyprus, Grækenland
Varighed: 20 mar. 201028 mar. 2010
http://www.etaps.org/2010/

Konference

KonferenceThe European Joint Conferences on Theory and Practice of Software (ETAPS)
Land/OmrådeGrækenland
ByPaphos, Cyprus
Periode20/03/201028/03/2010
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'Distributed Dynamic Condition Response Structures'. Sammen danner de et unikt fingeraftryk.

Citationsformater