Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
research
oaioai:pure.atira.dk:publications/6ef08ac6-df19-4e67-82ba-7954a4e87070

Nested Dynamic Condition Response Graphs

Authors
Publication date
1 January 2012
Publisher
Doi

    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

    Similar works

    Full text

    thumbnail-image

    The IT University of Copenhagen's Repository

    redirect
    oaioai:pure.atira.dk:publications...
    Last time updated on 11/11/2016

    This paper was published in The IT University of Copenhagen's Repository.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.