Team transaction: a new transaction model for mobile ad hoc networks
22 Dec 2004-Vol. 3347, pp 127-134
TL;DR: The proposed model captures the mobility and distributive properties inherently found in a vigorous team activity as in a game of soccer and also has an efficient recovery mechanism to cope up with the failures of mobile nodes.
Abstract: In this paper, we propose a new transaction model, named as Team Transaction for distributed, cooperative computing on mobile ad hoc networks The proposed model captures the mobility and distributive properties inherently found in a vigorous team activity as in a game of soccer and also has an efficient recovery mechanism to cope up with the failures of mobile nodes.
Citations
More filters
[...]
TL;DR: This paper proposes algorithms to verifiy and alter the structure of the composition at runtime, thus adapting the control flow to the current execution context to ensure correct execution of workflows by still respecting the autonomy of participants.
Abstract: Service oriented computing provides suitable means to technically support distributed collaboration of heterogeneous devices, for example those present in mobile environments. E.g., many applications are built on composite Web-Services. However, when executing these applications in dynamic environments, failures of participating entities have to be optimistically coped with, in order to avoid inconsistent system states and thereby provide suitable correctness guarantees. Transactional coordination for services so far lacks the possibility to adapt failure handling to the current execution context, e.g. dynamically bound services at runtime. In this paper, we employ transactional service properties to ensure reliable, i.e., correct execution of workflows by still respecting the autonomy of participants. We propose algorithms to verifiy and alter the structure of the composition at runtime, thus adapting the control flow to the current execution context to ensure correct execution.
3Â citations
Cites background from "Team transaction: a new transaction..."
[...]
[...]
TL;DR: This work proposes algorithms to verify compositions at runtime and adapt them according to the current execution context in case the verification fails, and explores transactional properties of services at runtime to ensure correct execution of workflows by still respecting the autonomy of participants.
Abstract: When supporting ad-hoc collaboration in heterogeneous environments, one has to be able to optimistically cope with failures in order to support reliable cooperation. Composite services technically provide suitable means to implement ad-hoc cooperations. We explore transactional properties of services at runtime to ensure correct execution of workflows by still respecting the autonomy of participants. We propose algorithms to verify compositions at runtime and adapt them according to the current execution context in case the verification fails.
2Â citations
Cites background from "Team transaction: a new transaction..."
[...]
[...]
01 Jan 2010
TL;DR: An adaptive workflow management system which explores transactional properties of services and employs semi-atomicity as the correctness criterion to allow for reliable yet autonomous coupling of services, and proves that the approach produces optimal results regarding the autonomy of services.
Abstract: The advent of wireless networking technologies in combination with the decreasing size of yet more powerful computing devices have led to the emergence of new applications to be deployed in mobile environments. Users equipped with mobile devices are able to spontaneously collaborate with each other in an ad-hoc manner. However, when deploying cooperative applications in mobile environments, one has to provide suitable means to cope with the characteristics of these environments. Due to the mobility of participants and the wireless networking technologies, mobile networks are more dynamic than fixed networks. As resources of mobile networks expose a temporary nature, failures of any kind are no longer the exceptional case. Suitable forward error-handling mechanisms which still allow for successful execution of an application in case of failure, as well as backward failure-recovery mechanisms, which avoid inconsistent system states, have to be integrated. In this thesis, an integrated approach of transactional support of ad-hoc collaborations with service discovery in mobile environments is presented. The objective is to ensure reliable support while respecting the autonomy of mobile devices. Ad-hoc collaborations are implemented as service compositions, specified as workflows. We present a service discovery protocol for ad-hoc scenarios which exploits the mobility of nodes: It adapts to the current context of nodes and thereby ensures high availability of information and decreases the number of messages if possible. On the other hand, it enables discovery and usage of remote services which are not in the direct vicinity of nodes. This protocol builds the foundation for ad-hoc collaboration, as composition at runtime is only possible, if services may be discovered in the first place. On the other hand, it allows for forward failure-handling, as it enables finding of alternatives. The core contribution of this thesis is an adaptive workflow management system: It explores transactional properties of services and employs semi-atomicity as the correctness criterion to allow for reliable yet autonomous coupling of services. Workflows are verified at runtime. If the verification fails, they are adapted during the execution to ensure correct termination in any case. Furthermore, the adaptive workflow management system enables autonomy to participating devices whenever possible, thus abandons from tight coupling of services to transaction phases. We prove that our approach produces optimal results regarding the autonomy of services. We present analytical and experimental evaluation results which confirm the applicability of our integrated approach: As opposed to existing pessimistic approaches which ensure correctness by tight coupling of components, it considerably increases the autonomy of services. In comparison to optimistic approaches, it allows for integration of diverse (i.e., non-compensatable) services by still ensuring correct execution in any case. In summary, our approach is a hybrid approach which ensures correctness in any case yet autonomous coupling of services whenever possible.
1Â citations
[...]
TL;DR: This paper employs transactional service properties to ensure reliable, i.e., correct execution of ad-hoc collaborations by still respecting the autonomy of participants by proposing algorithms to verify and alter service compositions at runtime to ensure correct execution.
Abstract: Technological advances allow users in mobile environments to spontaneously cooperate with those currently available. Service oriented computing provides suitable means to technically support such distributed collaboration. However, when executing these applications in dynamic environments, failures have to be optimistically coped with, in order to avoid inconsistent system states and thereby provide suitable correctness guarantees. Transactional coordination for services so far lacks the possibility to adapt failure handling to the current execution context, e.g. dynamically bound services at runtime. In this paper, we employ transactional service properties to ensure reliable, i.e., correct execution of ad-hoc collaborations by still respecting the autonomy of participants. We propose algorithms to verify and alter service compositions at runtime to ensure correct execution.
References
More filters
[...]
IBM1
TL;DR: ARIES as discussed by the authors is a database management system applicable not only to database management systems but also to persistent object-oriented languages, recoverable file systems and transaction-based operating systems.
Abstract: DB2TM, IMS, and TandemTM systems. ARIES is applicable not only to database management systems but also to persistent object-oriented languages, recoverable file systems and transaction-based operating systems. ARIES has been implemented, to varying degrees, in IBM's OS/2TM Extended Edition Database Manager, DB2, Workstation Data Save Facility/VM, Starburst and QuickSilver, and in the University of Wisconsin's EXODUS and Gamma database machine.
1,018Â citations
[...]
TL;DR: This paper is an effort to survey these techniques and to classify this research in a few broad areas in the area of data management in mobile computing.
Abstract: The emergence of powerful portable computers, along with advances in wireless communication technologies, has made mobile computing a reality. Among the applications that are finding their way to the market of mobile computing-those that involve data management-hold a prominent position. In the past few years, there has been a tremendous surge of research in the area of data management in mobile computing. This research has produced interesting results in areas such as data dissemination over limited bandwidth channels, location-dependent querying of data, and advanced interfaces for mobile computers. This paper is an effort to survey these techniques and to classify this research in a few broad areas.
415Â citations
"Team transaction: a new transaction..." refers background in this paper
[...]
[...]
TL;DR: This article presents ACTA as a tool for the synthesis of extended transaction models, one which supports the development and analysis of new extendedTransaction models in a systematic manner.
Abstract: ACTA is a comprehensive transaction framework that facilitates the formal description of properties of extended transaction models. Specifically, using ACTA, one can specify and reason about (1) the effects of transactions on objects and (2) the interactions between transactions. This article presents ACTA as a tool for the synthesis of extended transaction models, one which supports the development and analysis of new extended transaction models in a systematic manner. Here, this is demonstrated by deriving new transaction definitions (1) by modifying the specifications of existing transaction models, (2) by combining the specifications of existing models, and (3) by starting from first principles. To exemplify the first, new models are synthesized from atomic transactions and join transactions. To illustrate the second, we synthesize a model that combines aspect of the nested- and split-transaction models. We demonstrate the latter by deriving the specification of an open-nested-transaction model from high-level requirements.
240Â citations
"Team transaction: a new transaction..." refers methods in this paper
[...]
[...]
TL;DR: This work defines a model of mobile transactions by building on the concepts of split transactions and global transactions in a multidatabase environment to capture the movement behavior and data access behavior of Transactions in a mobile computing system.
Abstract: Unlike distributed transactions, mobile transactions do not originate and end at the same site. The implication of the movement of such transactions is that classical atomicity, concurrency and recovery solutions must be revisited to capture the movement behavior. As an effort in this direction, we define a model of mobile transactions by building on the concepts of split transactions and global transactions in a multidatabase environment. Our view of mobile transactions, called Kangaroo Transactions, incorporates the property that transactions in a mobile computing system hop from one base station to another as the mobile unit moves through cells. Our model is the first to capture this movement behavior as well as the data behavior which reflects the access to data located in databases throughout the static network. The mobile behavior is dynamic and is realized in our model via the use of split operations. The data access behavior is captured by using the idea of global and local transactions in a multidatabase system.
216Â citations
"Team transaction: a new transaction..." refers background in this paper
[...]
[...]
TL;DR: This work modified its existing data structures and provided additional data structures for recovery of distributed extended long-lived transactions and proposed a solution to the recovery and the rollback problem in distributed collaborative transactions in a generalized ARIES framework.
Abstract: We address the recovery and the rollback problem in distributed collaborative transactions. We propose a solution to the problem in a generalized ARIES framework. We modified its existing data structures and provided additional data structures for recovery of distributed extended long-lived transactions. In the proposed model the transactions communicate and collaborate only by exchanging messages. The messages are logged along with usual database actions. In recovery of distributed extended transactions these message logs and message tables are extensively used. The recovery algorithms work in a distributed environment, under extended transaction models, with different kinds of failures and transaction rollback.
11Â citations
Related Papers (5)
[...]
[...]
[...]
[...]