The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions

Workflow technologies are becoming pervasive in that they enable the execution of business processes in distributed and ubiquitous computing environments. As long-running transactions, the execution of workflows in environments without dedicated infrastructures raises transactional requirements due to the dynamicity of resources available to run a workflow instance and the integration of relaxed atomicity constraints at both design and instantiation time. In this paper, we propose an adaptive transactional protocol for the pervasive workflow model developed in a previous work to support the execution of business processes in the pervasive setting. The execution of this protocol takes place in two phases. First, candidate business partners are assigned to tasks using an algorithm wherein the selection process is based on both functional and transactional requirements. The workflow execution further proceeds through a hierarchical coordination protocol managed by the workflow initiator and controlled based on a decision table computed as an outcome of the business partner assignment procedure. The resulting workflow execution is compliant with the defined consistency requirements, and the coordination decisions depend on the transactional characteristics offered by the partners assigned to each task. An implementation of our theoretical results relying on ontology Web Language for Series and Business Process Execution Language technologies is further detailed as a proof of concept.

[1]  Claude Godart,et al.  Ensuring required failure atomicity of composite Web services , 2005, WWW '05.

[2]  Özgür Ulusoy,et al.  A Transaction Model for Multidatabase Systems , 1996, Euro-Par, Vol. II.

[3]  Amit P. Sheth,et al.  Specification and Execution of Transactional Workflows , 1995, Modern Database Systems.

[4]  Gustavo Alonso,et al.  Concurrency control and recovery in transactional process management , 1999, PODS '99.

[5]  Refik Molva,et al.  Augmenting Web Services Composition with Transactional Requirements , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[6]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[7]  Marie-Christine Fauvet,et al.  Handling Transactional Properties in Web Service Composition , 2005, WISE.

[8]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[9]  Martin Gudgin,et al.  Secure, reliable, transacted: innovation in Web Services architecture , 2004, SIGMOD '04.

[10]  Julian Jang,et al.  Compensation is Not Enough , 2003 .

[11]  Shiyong Lu,et al.  Automatic workflow verification and generation , 2006, Theor. Comput. Sci..

[12]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.

[13]  Shiyong Lu,et al.  Correct execution of transactions at different isolation levels , 2004, IEEE Transactions on Knowledge and Data Engineering.

[14]  Mark C. Little,et al.  Transactions and Web services , 2003, CACM.

[15]  Refik Molva,et al.  Enabling pervasive execution of workflows , 2005, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing.

[16]  Thomas A. Mikalsen,et al.  Composition of Coordinated Web Services , 2004, Middleware.

[17]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[18]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[19]  Anand Ranganathan,et al.  Using workflows to coordinate Web services in pervasive computing environments , 2004 .

[20]  Mike P. Papazoglou,et al.  Web Services and Business Transactions , 2003, World Wide Web.

[21]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[22]  Valérie Issarny,et al.  Coordinated forward error recovery for composite Web services , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[23]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[24]  Stefan Berger,et al.  Web services on mobile devices-implementation and experience , 2003, 2003 Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications.