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

Exformatics

Research output: Journal Article or Conference Article in Journal › Conference article › Research › 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.

Original language	English
Book series	Lecture Notes in Computer Science
Volume	7141
Pages (from-to)	343-350
Number of pages	8
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-29320-7_23
Publication status	Published - 2012
Event	4th International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of Duration: 20 Apr 2011 → 22 Apr 2011 Conference number: 4th http://fsen.ir/2011/

Conference

Conference	4th International Conference on Fundamentals of Software Engineering
Number	4th
Country/Territory	Iran, Islamic Republic of
City	Tehran
Period	20/04/2011 → 22/04/2011
Internet address	http://fsen.ir/2011/

Keywords

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

Access to Document

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

FsenpaperAccepted author manuscript, 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
Project: Research

Cite this

@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

Conference

Keywords

Access to Document

Fingerprint

Projects

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Cite this