Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Distributed programming in Argus
Communications of the ACM
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
Principles of distributed database systems
Principles of distributed database systems
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
A transaction model for active distributed object systems
Database transaction models for advanced applications
Database transaction models for advanced applications
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Using Tickets to Enforce the Serializability of Multidatabase Transactions
IEEE Transactions on Knowledge and Data Engineering
Semantics-Based Concurrency Control: Beyond Commutativity
Proceedings of the Third International Conference on Data Engineering
Specification and Management of Extended Transactions in a Programmable Transaction Environment
Proceedings of the Tenth International Conference on Data Engineering
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Specification and Management of Interdependent Data in OperationalSystems and Data Warehouses
Distributed and Parallel Databases
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Imposing transactional properties on distributed software atchitectures
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A Logical Framework for Exception Handling in ADOME Workflow Management System
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A Three-Layer Model for Workflow Semantic Recovery in an Object-Oriented Environment
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Transactional Workflows or Workflow Transactions?
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
Component-based workflow systems development
Decision Support Systems
CAGISTrans: Providing Adaptable Transactional Support for Cooperative Work – an Extended Treatment
Information Technology and Management
Teamware: An Evaluation of Key Technologies and Open Problems
Distributed and Parallel Databases
Automatic Control of Workflow Processes Using ECA Rules
IEEE Transactions on Knowledge and Data Engineering
Dynamic restructuring of recovery nets
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Decentralized coordination of transactional processes in peer-to-peer environments
Proceedings of the 14th ACM international conference on Information and knowledge management
SH-BPEL: a self-healing plug-in for Ws-BPEL engines
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A transactional grid workflow service for ShanghaiGrid
International Journal of Web and Grid Services
A framework for systematic synthesis of transactional middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A pipeline-based approach for long transaction processing in web service environments
International Journal of Web and Grid Services
Methods for enabling recovery actions in Ws-BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Ensuring Customised Transactional Reliability of Composite Services
Journal of Database Management
Hi-index | 0.00 |
A Transaction Specification and Management Environment (TSME) is a programmable system that supports implementation-independent specification of application-specific extended transaction models (ETMs) and configuration of transaction management mechanisms (TMMs) to enforce specified ETMs. The TSME can ensure correctness and reliability while allowing the functionality required by workflows and other advanced applications that require access to multiple heterogeneous, autonomous, and/or distributed (HAD) systems. To support ETM specification, the TSME provides a transaction specification language that describes dependencies between transactions. Unlike other ETM specification languages, TSME's dependency descriptors use a common set of primitives, and are enforceable, i.e., can be evaluated at any time during transaction execution to determine whether operations issued violate ETM specifications. To determine whether an ETM can be enforced in a specific HAD system environment, the TSME supports specification of the transactional capabilities of HAD systems, and comparison of these with ETM specifications to determine mismatches. To enforce ETMs that are more restrictive than those supported by the union of the transactional capabilities of HAD systems, the TSME provides a collection of transactional services. These services are programmable and configurable, i.e., they accept instructions that change their behavior as required by an ETM and can be combined in specific ways to create a run-time TMM capable of enforcing the ETM. We discuss the TSME in the context of a distributed object management system. We give ETM specification examples and describe corresponding TMM configurations for a telecommunications application.