Consistent Process Execution in Peer-to-Peer Information Systems

The proliferation of Internet technology resulted in a high connectivity between individuals and companies all over the world. This technology facilitates interactions within and between enterprises, organizations, etc. and allows for data and information exchange. Automating business interactions on this platform requires the execution of processes. This process execution has to be reliable, i.e., guarantees for correct concurrent and fault tolerant execution are vital. A strategy enforcing these properties must take into consideration that large-scale networks like the Internet are not always reliable. We deal with this by encapsulating applications within mobile agents. Essentially, this allows users to be temporary disconnected from the network while their application is executing. To stress the aspect of guarantees, we use the term transactional agents. They invoke services provided by resources, which are responsible for logging and conflict detection. In contrast, it is the transactional agents' task to ensure globally correct concurrent interactions by means of communication. The used communication pattern is a sample implementation of our newly developed protocol. It is, to our best knowledge, the first distributed protocol that addresses the global problem of concurrency control and recovery in a truly distributed way and that, at the same time, jointly solves both problems in a single framework. Because (i) processes are long running transactions requiring optimistic techniques and (ii) large networks require decentralized approaches, this protocol meets the demands of process-based applications in large scale networks.

[1]  Karl Aberer,et al.  P-Grid: A Self-Organizing Access Structure for P2P Information Systems , 2001, CoopIS.

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

[3]  Gustavo Alonso,et al.  Unifying concurrency control and recovery of transactions , 1994, Inf. Syst..

[4]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[5]  Bharat Bhargava,et al.  A framework for providing consistent and recoverable agent-based access to heterogeneous mobile databases , 1995, SGMD.

[6]  Bharat K. Bhargava,et al.  Multidimensional Timestamp Protocols for Concurrency Control , 1986, IEEE Transactions on Software Engineering.

[7]  Radu Popescu-Zeletin,et al.  An Approach for Providing Mobile Agent Fault Tolerance , 1998, Mobile Agents.

[8]  Peter A. Gloor,et al.  DartFlow: A Workflow Management System on the Web using Transportable Agents , 1996 .

[9]  Ehud Gudes,et al.  Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis , 1999, The VLDB Journal.

[10]  Philip A. Bernstein,et al.  Principles of Transaction Processing , 1996 .

[11]  Danny B. Lange,et al.  Programming and Deploying Java¿ Mobile Agents with Aglets¿ , 1998 .

[12]  Umeshwar Dayal,et al.  Multi-Agent Cooperative Transactions for E-Commerce , 2000, CoopIS.

[13]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[14]  Rudolf Bayer,et al.  Dynamic Timestamp Allocation for Transactions in Database Systems , 1982, DDB.

[15]  Yuri Breitbart,et al.  Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations , 1998, Theor. Comput. Sci..

[16]  Opher Etzion,et al.  Mobile transactional agents , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[17]  David J. Taylor Concurrency and forward recovery in atomic actions , 1986, IEEE Transactions on Software Engineering.

[18]  Gustavo Alonso,et al.  Atomicity and isolation for transactional processes , 2002, TODS.

[19]  Heiko Schuldt,et al.  Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment , 2001, Mobile Agents.

[20]  Keith Evans,et al.  Transaction Internet Protocol Version 3.0 , 1998, RFC.

[21]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.