EWFN - A Petri Net Dialect for Tuplespace-based Workow Enactment

The Solid State Energy Conversion Alliance Core Technology Program Peer Review

Daniel Martin ; Daniel Wutke ; Frank Leymann

Others  :  http://CEUR-WS.org/Vol-380/paper02.pdf
PID  :  3265

来源: CEUR

【 摘 要 】

Petri nets are a formalism for describing systems where interactions between active components - so-called transitions - are modeled as exchanges of tokens over passive places. Whether a transition may fireis solely dependent on the availability of tokens in its incoming places; similarly a transition forwards control to subsequent transitions by storing tokens in their respective input places. This interaction model of strongdecoupling through local actions and local eects makes distributed systems modeled via Petri nets highly extensible. In this paper, we present the syntax and semantics of a model that leverages the extensibilityprovided by Petri nets for representing BPEL processes in a way that enables their distributed and decentralized execution using tuplespace middleware. Said middleware implements the proposed Petri net dialect and therefore allows for direct, distributed execution of the modeled processes.