Distributed Dynamic Condition Response Structures

Thomas Hildebrandt, Raghava Rao Mukkamala

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-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.
    Original languageEnglish
    Publication dateMar 2011
    Number of pages8
    Publication statusPublished - Mar 2011
    EventThe European Joint Conferences on Theory and Practice of Software (ETAPS) - Paphos, Cyprus, Greece
    Duration: 20 Mar 201028 Mar 2010
    http://www.etaps.org/2010/

    Conference

    ConferenceThe European Joint Conferences on Theory and Practice of Software (ETAPS)
    Country/TerritoryGreece
    CityPaphos, Cyprus
    Period20/03/201028/03/2010
    Internet address

    Keywords

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

    Fingerprint

    Dive into the research topics of 'Distributed Dynamic Condition Response Structures'. Together they form a unique fingerprint.

    Cite this