Extending a Petri-net based workflow description language for e-business atomicity support

In this paper an extension of XRL is presented for supporting Webbased and inter-organizational e-business atomicity spheres in workflow applications. XRL (eXchangable Routing Language), is an extensible, instance-based language that is intended for inter-organizational workflow processes having an XML syntax and Petri-net semantics for task routing. Presented distinctive e-business transaction characteristics and correspondingly modified atomicity criteria for dynamic atomicity spheres lead to an extension of XRL. Generic mapping semantics for the XRL extension are provided for integrating the workflow specification and the atomicity spheres into one model based on WF-nets, a subclass of Petri nets. The integrated model can be checked for the correctness criterion called soundness, a notion related to WF-nets.