1 Hit in 3.7 sec

A tuplespace based execution model for decentralized workflow enactment : applied for BPEL [article]

Daniel Martin, Universität Stuttgart, Universität Stuttgart
The contributions of this thesis are: an in-depth analysis of differences between tuplespace-based and message-oriented middleware systems, a Petri net based formalization of tuplespace interactions called  ...  Executable Workflow Nets (EWFN), a fully-fledged Petri net formalization of WS-BPEL 2.0, a method and algorithm to execute P [...]  ...  This connects EWFNs to the world of Petri net analysis algorithms and tools such as Tina [BRV04] , all tools based on the "Petri Net Kernel" [KW01] or WoPeD 3 .  ... 
doi:10.18419/opus-2679 fatcat:pqbc3yjpsrg2doaqtixupndma4