Business Process Execution with Bigraphs and Reactive XML

Thomas Hildebrandt, Henning Niss, Martin Olsen

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

    Abstract

    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 WS-BPEL 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.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR-2006-85
    Number of pages27
    ISBN (Electronic)87-7949-125-1
    Publication statusPublished - Jun 2006
    SeriesIT University Technical Report Series
    NumberTR-2006-85
    ISSN1600-6100

    Fingerprint

    Dive into the research topics of 'Business Process Execution with Bigraphs and Reactive XML'. Together they form a unique fingerprint.

    Cite this