Sciweavers

Share
COORDINATION
2006
Springer

Formalising Business Process Execution with Bigraphs and Reactive XML

9 years 6 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Ambients calculus as well as graphical models for concurrency such as Petri Nets. We investigate in this paper how Bigraphical Reactive Systems represented as Reactive XML can be used to provide a formal semantics as well as an extensible and mobile platform independent execution format for XML based business process and workflow description languages such as WSBPEL and XPDL. We propose to extend the formalism with primitives for XPath evaluation and higher-order reaction rules to allow for a very direct and succinct semantics.
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where COORDINATION
Authors Thomas T. Hildebrandt, Henning Niss, Martin Olsen
Comments (0)
books