Nested Dynamic Condition Response Graphs

Thomas Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats

doi:10.1007/978-3-642-29320-7_23

Nested Dynamic Condition Response Graphs

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

Programming Logic and Semantics

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Abstract

We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	7141
Sider (fra-til)	343-350
Antal sider	8
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-29320-7_23
Status	Udgivet - 2012
Begivenhed	4th International Conference on Fundamentals of Software Engineering - Tehran, Iran Varighed: 20 apr. 2011 → 22 apr. 2011 Konferencens nummer: 4th http://fsen.ir/2011/

Konference

Konference	4th International Conference on Fundamentals of Software Engineering
Nummer	4th
Land/Område	Iran
By	Tehran
Periode	20/04/2011 → 22/04/2011
Internetadresse	http://fsen.ir/2011/

Emneord

Declarative Process Models
Nested Subgraphs
Milestone Relation
Buchi-Automata
Case Study with Industry Partner

Adgang til dokumentet

10.1007/978-3-642-29320-7_23

FsenpaperAccepteret manuskript, 234 KB

http://link.springer.com/chapter/10.1007%2F978-3-642-29320-7_23?LI=true

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

@inproceedings{6ef08ac6df194e6782ba7954a4e87070,

title = "Nested Dynamic Condition Response Graphs",

abstract = "We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation.",

keywords = "Declarative Process Models, Nested Subgraphs, Milestone Relation, Buchi-Automata, Case Study with Industry Partner, Declarative Process Models, Nested Subgraphs, Milestone Relation, Buchi-Automata, Case Study with Industry Partner",

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

year = "2012",

doi = "10.1007/978-3-642-29320-7_23",

language = "English",

volume = "7141",

pages = "343--350",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "4th International Conference on Fundamentals of Software Engineering, FSEN 2011 ; Conference date: 20-04-2011 Through 22-04-2011",

url = "http://fsen.ir/2011/",

}

TY - GEN

T1 - Nested Dynamic Condition Response Graphs

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

N1 - Conference code: 4th

PY - 2012

Y1 - 2012

N2 - We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation.

AB - We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation.

KW - Declarative Process Models

KW - Nested Subgraphs

KW - Milestone Relation

KW - Buchi-Automata

KW - Case Study with Industry Partner

KW - Declarative Process Models

KW - Nested Subgraphs

KW - Milestone Relation

KW - Buchi-Automata

KW - Case Study with Industry Partner

U2 - 10.1007/978-3-642-29320-7_23

DO - 10.1007/978-3-642-29320-7_23

M3 - Conference article

SN - 0302-9743

VL - 7141

SP - 343

EP - 350

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 4th International Conference on Fundamentals of Software Engineering

Y2 - 20 April 2011 through 22 April 2011

ER -

Nested Dynamic Condition Response Graphs

Abstract

Konference

Emneord

Adgang til dokumentet

Fingeraftryk

Projekter

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Citationsformater