ITU

Nested Dynamic Condition Response Graphs

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

View graph of relations

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 languageEnglish
Book seriesLecture Notes in Computer Science
Volume7141
Pages (from-to)343-350
Number of pages8
ISSN0302-9743
DOIs
Publication statusPublished - 2012
Event4th International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of
Duration: 20 Apr 201122 Apr 2011
Conference number: 4th
http://fsen.ir/2011/

Conference

Conference4th International Conference on Fundamentals of Software Engineering
Number4th
CountryIran, Islamic Republic of
CityTehran
Period20/04/201122/04/2011
Internet address

Downloads

No data available

ID: 34548832