Distributed Dynamic Condition Response Structures

Thomas Hildebrandt; Raghava Rao Mukkamala

Distributed Dynamic Condition Response Structures

Thomas Hildebrandt, Raghava Rao Mukkamala

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer 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.

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/

Emneord

Distributed Dynamic Condition Response Structures
Declarative Process Model
Labelled Event Structures
Graphical Notation
Concurrent Systems

Adgang til dokumentet

dcrs-places.pdfAccepteret manuskript, 143 KB

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

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
Projekter: Projekt › Forskning

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.",

keywords = "Distributed Dynamic Condition Response Structures, Declarative Process Model, Labelled Event Structures, Graphical Notation, Concurrent Systems, Distributed Dynamic Condition Response Structures, Declarative Process Model, Labelled Event Structures, Graphical Notation, Concurrent Systems",

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 }, }; The European Joint Conferences on Theory and Practice of Software (ETAPS) ; 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.

KW - Distributed Dynamic Condition Response Structures

KW - Declarative Process Model

KW - Labelled Event Structures

KW - Graphical Notation

KW - Concurrent Systems

KW - Distributed Dynamic Condition Response Structures

KW - Declarative Process Model

KW - Labelled Event Structures

KW - Graphical Notation

KW - Concurrent Systems

M3 - Paper

T2 - The European Joint Conferences on Theory and Practice of Software (ETAPS)

Y2 - 20 March 2010 through 28 March 2010

ER -

Distributed Dynamic Condition Response Structures

Abstract

Konference

Emneord

Adgang til dokumentet

Fingeraftryk

Projekter

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Citationsformater