The Experts below are selected from a list of 3852 Experts worldwide ranked by ideXlab platform
Anand Tripathi - One of the best experts on this subject based on the ideXlab platform.
-
Scalable Transaction Management with Snapshot Isolation for NoSQL Data Storage Systems
IEEE Transactions on Services Computing, 2015Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems, which are commonly termed as NoSQL systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI) model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability. To support scalability, we investigate system architectures and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system architectures and demonstrate their scalability under the scale-out model of cloud computing platforms. In the first system architecture all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second architecture is based on a hybrid approach in which the conflict detection functions are performed by a dedicated service. We perform a comparative evaluation of these architectures using the TPC-C benchmark and demonstrate their scalability.
-
Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems
2012 IEEE Fifth International Conference on Cloud Computing, 2012Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI)model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability under SI. To support scalability, we investigate system models and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system models and demonstrate their scalability under the scale-out paradigm of Cloud computing platforms. In the first system model, all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second model is based on a hybrid approach in which the conflict detection techniques are implemented by a dedicated service. We perform a comparative evaluation of these models using the TPC-C benchmark and demonstrate their scalability.
-
IEEE CLOUD - Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems
2012 IEEE Fifth International Conference on Cloud Computing, 2012Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI)model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability under SI. To support scalability, we investigate system models and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system models and demonstrate their scalability under the scale-out paradigm of Cloud computing platforms. In the first system model, all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second model is based on a hybrid approach in which the conflict detection techniques are implemented by a dedicated service. We performa comparative evaluation of these models using the TPC-Cbenchmark and demonstrate their scalability.
Jian-wei Jiang - One of the best experts on this subject based on the ideXlab platform.
-
Extended SOFL features for the modeling of middleware-based Transaction Management
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), 2005Co-Authors: Hao-peng Chen, Yao Shen, Jian-wei JiangAbstract:SOFL (structured object-oriented formal language) is a formal engineering language and method for software system analysis, specification and design. It has been used in many systems. But its limitations result in the lack of the support for the modeling of middleware-based Transaction Management. However, the Transaction Management has been the necessary feature of distributed applications. So we extend the SOFL features to enable SOFL to support modeling of middleware-based Transaction Management by adding structures of CDFD and syntax of specification.
-
ICECCS - Extended SOFL features for the modeling of middleware-based Transaction Management
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), 2005Co-Authors: Hao-peng Chen, Yao Shen, Jian-wei JiangAbstract:SOFL (structured object-oriented formal language) is a formal engineering language and method for software system analysis, specification and design. It has been used in many systems. But its limitations result in the lack of the support for the modeling of middleware-based Transaction Management. However, the Transaction Management has been the necessary feature of distributed applications. So we extend the SOFL features to enable SOFL to support modeling of middleware-based Transaction Management by adding structures of CDFD and syntax of specification.
Miroslav Popovic - One of the best experts on this subject based on the ideXlab platform.
-
ECBS - Formal Verification of Distributed Transaction Management in a SOA Based Control System
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011Co-Authors: Ivana Popovic, Vladislav Vrtunski, Miroslav PopovicAbstract:In large scale, heavy workload systems, managing distributed Transactions on multiple datasets becomes challenging and error prone task. Software systems based on service oriented architecture principles that manage critical infrastructures are typical environments where robust Transaction Management is one of the essential goals to achieve. The aim of this paper is to provide a formal description of the solution for Transaction Management and individual service component behavior in a SOA-based control system, and prove the correctness of the proposed design with the SMV formal verification tool. Atomic commitment protocol is used as a basis for solving distributed Transaction Management problem. SMV language and verification tool are utilized for formal description of the problem and verification of the necessary properties. The case study describes an application of the proposed approach in commercial software system for electrical power distribution Management. Verification of given model properties has shown that suggested solution is suitable for the described class of SOA-based systems.
-
Formal verification of distributed Transaction Management in a SOA based control system
Proceedings - 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2011, 2011Co-Authors: Ivana Popovic, Vladislav Vrtunski, Miroslav PopovicAbstract:In large scale, heavy workload systems, managing distributed Transactions on multiple datasets becomes challenging and error prone task. Software systems based on service oriented architecture principles that manage critical infrastructures are typical environments where robust Transaction Management is one of the essential goals to achieve. The aim of this paper is to provide a formal description of the solution for Transaction Management and individual service component behavior in a SOA-based control system, and prove the correctness of the proposed design with the SMV formal verification tool. Atomic commitment protocol is used as a basis for solving distributed Transaction Management problem. SMV language and verification tool are utilized for formal description of the problem and verification of the necessary properties. The case study describes an application of the proposed approach in commercial software system for electrical power distribution Management. Verification of given model properties has shown that suggested solution is suitable for the described class of SOA-based systems.
Vinit Padhye - One of the best experts on this subject based on the ideXlab platform.
-
Scalable Transaction Management with Snapshot Isolation for NoSQL Data Storage Systems
IEEE Transactions on Services Computing, 2015Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems, which are commonly termed as NoSQL systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI) model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability. To support scalability, we investigate system architectures and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system architectures and demonstrate their scalability under the scale-out model of cloud computing platforms. In the first system architecture all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second architecture is based on a hybrid approach in which the conflict detection functions are performed by a dedicated service. We perform a comparative evaluation of these architectures using the TPC-C benchmark and demonstrate their scalability.
-
Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems
2012 IEEE Fifth International Conference on Cloud Computing, 2012Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI)model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability under SI. To support scalability, we investigate system models and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system models and demonstrate their scalability under the scale-out paradigm of Cloud computing platforms. In the first system model, all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second model is based on a hybrid approach in which the conflict detection techniques are implemented by a dedicated service. We perform a comparative evaluation of these models using the TPC-C benchmark and demonstrate their scalability.
-
IEEE CLOUD - Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems
2012 IEEE Fifth International Conference on Cloud Computing, 2012Co-Authors: Vinit Padhye, Anand TripathiAbstract:We address the problem of building scalable Transaction Management mechanisms for multi-row Transactions on key-value storage systems. We develop scalable techniques for Transaction Management utilizing the snapshot isolation (SI)model. Because the SI model can lead to non-serializable Transaction executions, we investigate two conflict detection techniques for ensuring serializability under SI. To support scalability, we investigate system models and mechanisms in which the Transaction Management functions are decoupled from the storage system and integrated with the application-level processes. We present two system models and demonstrate their scalability under the scale-out paradigm of Cloud computing platforms. In the first system model, all Transaction Management functions are executed in a fully decentralized manner by the application processes. The second model is based on a hybrid approach in which the conflict detection techniques are implemented by a dedicated service. We performa comparative evaluation of these models using the TPC-Cbenchmark and demonstrate their scalability.
Rafael Calvo - One of the best experts on this subject based on the ideXlab platform.
-
A Financial Compensation Based Transaction Management Model for Service-Oriented Business Collaborations
2012 IEEE 19th International Conference on Web Services, 2012Co-Authors: Zheng Yang, Shiping Chen, David Levy, Rafael CalvoAbstract:The Internet has been encouraging and enabling business collaborations via online Transactions over the Web. However, managing Transactions in a long-running business process across domains still remains a challenge. In this paper, we propose a novel financial-compensation-based Transaction Management model, fcBTxM, to address this challenge. Unlike classical Transaction Management, fcBTxM does not attempt to recover data consistency via rollback when a failure occurs. Instead, our model always tries to forward-roll a business process via financial compensation. We use a state machine to capture and describe the states of our Transaction model and their relationships. We also develop a set of technologies and protocols for enabling the new Transaction Management. A real business collaboration example is used to demonstrate the concept, and preliminary testing results are provided to evaluate our technologies.
