Safe Distribution of Declarative Processes

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstract

    We give a general technique for safe distribution of a declarative (global) process as a network of (local) synchronously communicating declarative processes. Both the global and local processes are given as Dynamic Condition Response (DCR) Graphs. DCR Graphs is a recently introduced declarative process model generalizing labelled prime event structures to a systems model able to finitely represent ω-regular languages. An operational semantics given as a transition semantics between markings of the graph allows DCR Graphs to be conveniently used as both specification and execution model. The technique for distribution is based on a new general notion of projection of DCR Graphs relative to a subset of labels and events identifying the set of external events that must be communicated from the other processes in the network in order for the distribution to be safe.We prove that for any vector of projections that covers a DCR Graph that the network of synchronously communicating DCR Graphs given by the projections is bisimilar to the original global process graph. We exemplify the distribution technique on a process identified in a case study of an cross-organizational case management system carried out jointly with Exformatics A/S.
    OriginalsprogEngelsk
    TitelSEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
    Antal sider16
    ForlagSpringer
    Publikationsdato2011
    Sider237-252
    ISBN (Trykt)237-252
    StatusUdgivet - 2011
    Begivenhed9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay
    Varighed: 14 nov. 201118 nov. 2011
    Konferencens nummer: 9th
    http://www.fing.edu.uy/inco/eventos/SEFM2011/

    Konference

    Konference9th International Conference on Software Engineering and Formal Methods
    Nummer9th
    Land/OmrådeUruguay
    ByMontevideo
    Periode14/11/201118/11/2011
    Internetadresse

    Emneord

    • Declarative Process Model
    • DCR Graphs
    • Synchronous Communication
    • Projection Technique
    • Bisimilarity
    • Operational Semantics
    • Cross-Organizational Case Management
    • Safe Distribution
    • Dynamic Condition Response
    • ω-regular Languages

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Safe Distribution of Declarative Processes'. Sammen danner de et unikt fingeraftryk.

    Citationsformater