Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Concurrency control and object-oriented databases
Object-oriented concepts, databases, and applications
Hybrid concurrency control for abstract data types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The notions of consistency and predicate locks in a database system
Communications of the ACM
Semantics-Based Concurrency Control: Beyond Commutativity
Proceedings of the Third International Conference on Data Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Transaction Groups: A Model for Controlling Cooperative Transactions
Proceedings of the Third International Workshop on Persistent Object Systems
Replication and nested transactions in the eden distributed system (superdatabase, object-oriented)
Replication and nested transactions in the eden distributed system (superdatabase, object-oriented)
Concurrency control in complex information systems: a semantics-based approach
Concurrency control in complex information systems: a semantics-based approach
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Functionality and architecture of a cooperative database system: a vision
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming heterogeneous transactions for software development environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a task-based paradigm for flexible and adaptable access control in distributed applications
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Database model for web-based cooperative applications
Proceedings of the eighth international conference on Information and knowledge management
Synchronizing group transaction with rendezvous in a distributed Ada environment
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Advances in real-time database systems research
ACM SIGMOD Record
Database support for evolving data in product design
Computers in Industry - Special issue: CSCW in design
A toolkit for the incremental implementation of heterogeneous database management systems
The VLDB Journal — The International Journal on Very Large Data Bases
A Formal Characterization of Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
JPernLite: Extensible Transaction Services for the WWW
IEEE Transactions on Knowledge and Data Engineering
Flexible Robust Programming in Distributed Object Systems
IEEE Transactions on Knowledge and Data Engineering
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th 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
Towards a Cooperative Transaction Model - The Cooperative Activity Model
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A Practical and Modular Implementation of Extended Transaction Models
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
User Action Recovery in Internet SAGAs (iSAGAs)
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
The Dependency Manager: A Base Service for Transactional Workflow Management
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
An extended transaction model approach for multilevel secure transaction processing
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
A Framework of Customizing Transactions in Persistent Object Management for Advanced Applications
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Mobile User Recovery in the Context of Internet Transactions
IEEE Transactions on Mobile Computing
Logical concurrency control for large objects in a multidatabase system
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
WS-replication: a framework for highly available web services
Proceedings of the 15th international conference on World Wide Web
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Automatic workflow verification and generation
Theoretical Computer Science
Extending the data warehouse for service provisioning data
Data & Knowledge Engineering - Special issue: ER 2003
Lightweight flexible isolation for language-based extensible systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
Is there life outside transactions?: writing the transaction processing book
ACM SIGMOD Record - Tribute to honor Jim Gray
Flexible transaction processing in the Argos middleware
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
Compensation-aware data types in RDBMS
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
Declarative scheduling in highly scalable systems
Proceedings of the 2010 EDBT/ICDT Workshops
ACM SIGSOFT Software Engineering Notes
Declarative serializable snapshot isolation
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
QoS-aware web services composition using transactional composition operator
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
On realizing quick compensation transactions in cloud computing
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Open distributed processing: an architectural basis for information networks
Computer Communications
Model checking and code generation for transaction processing software
Concurrency and Computation: Practice & Experience
Transactional Workflows in Distributed Systems
Fundamenta Informaticae
Hi-index | 0.00 |
Recently, a number of extensions to the traditional transaction model have been proposed to support new information-intensive applications such as CAD/CAM and software development. However, these extended models capture only a subset of interactions that can be found in such applications, and represent only some of the points within the spectrum of interactions possible in competitive and cooperative environments.ACTA is a formalizable framework developed for characterizing the whole spectrum of interactions. The ACTA framework is not yet another transaction model, but is intended to unify the existing models. ACTA allows for specifying the structure and the behavior of transactions as well as for reasoning about the concurrency and recovery properties of the transactions. In ACTA, the semantics of interactions are expressed in terms of transactions' effects on the commit and abort of other transactions and on objects' state and concurrency status (i.e., synchronization state). Its ability to capture the semantics of previously proposed transaction models is indicative of its generality. The reasoning capabilities of this framework have also been tested by using the framework to study the properties of a new model that is derived by combining two existing transaction models.