Distributed Dynamic Condition Response Structures

Thomas Hildebrandt; Raghava Rao Mukkamala

Distributed Dynamic Condition Response Structures

Thomas Hildebrandt, Raghava Rao Mukkamala

Computer Science

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Abstrakt

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.

Originalsprog	Engelsk
Publikationsdato	mar. 2011
Antal sider	8
Status	Udgivet - mar. 2011
Begivenhed	The European Joint Conferences on Theory and Practice of Software (ETAPS) - Paphos, Cyprus, Grækenland Varighed: 20 mar. 2010 → 28 mar. 2010 http://www.etaps.org/2010/

Konference

Konference	The European Joint Conferences on Theory and Practice of Software (ETAPS)
Land/Område	Grækenland
By	Paphos, Cyprus
Periode	20/03/2010 → 28/03/2010
Internetadresse	http://www.etaps.org/2010/

Adgang til dokumentet

dcrs-places.pdfAccepteret manuskript, 143 KB

http://www.itu.dk/people/rao/pubs_accepted/dcrsplacescamredver.pdf

Citationsformater

@conference{4b010bb618f84cd4a2f87f4c37444cfc,

title = "Distributed Dynamic Condition Response Structures",

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 furtherextensions of the model is left to future work.",

author = "Thomas Hildebrandt and Mukkamala, {Raghava Rao}",

note = "@INPROCEEDINGS { HildebrandtM:10:DistributedDynamicConditionResponseStructure, AUTHOR = { Thomas Hildebrandt and Raghava Rao Mukkamala }, TITLE = { Distributed Dynamic Condition Response Structures }, BOOKTITLE = { pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010 }, MONTH = { March }, ADDRESS = { Paphos, Cyprus }, YEAR = { 2010 }, URL = { http://www.itu.dk/people/rao/pubs_accepted/dcrsplacescamredver.pdf }, }; null ; Conference date: 20-03-2010 Through 28-03-2010",

year = "2011",

month = mar,

language = "English",

url = "http://www.etaps.org/2010/",

}

TY - CONF

T1 - Distributed Dynamic Condition Response Structures

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

N1 - @INPROCEEDINGS { HildebrandtM:10:DistributedDynamicConditionResponseStructure, AUTHOR = { Thomas Hildebrandt and Raghava Rao Mukkamala }, TITLE = { Distributed Dynamic Condition Response Structures }, BOOKTITLE = { pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010 }, MONTH = { March }, ADDRESS = { Paphos, Cyprus }, YEAR = { 2010 }, URL = { http://www.itu.dk/people/rao/pubs_accepted/dcrsplacescamredver.pdf }, }

PY - 2011/3

Y1 - 2011/3

N2 - 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 furtherextensions of the model is left to future work.

AB - 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 furtherextensions of the model is left to future work.

M3 - Paper

Y2 - 20 March 2010 through 28 March 2010

ER -

Distributed Dynamic Condition Response Structures

Abstrakt

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater