Safe Distribution of Declarative Processes

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

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


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.
TitelSEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Antal sider16
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


Konference9th International Conference on Software Engineering and Formal Methods


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