Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
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
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
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
A unifying framework for transactions in competitive and cooperative environments
Office Knowledge Engineering
Localized correctness specifications for cooperating transactions in an object-oriented database
Office Knowledge Engineering
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Database transaction models for advanced applications
Database transaction models for advanced applications
A transaction model for active distributed object systems
Database transaction models for advanced applications
Database transaction models for advanced applications
Database transaction models for advanced applications
Database transaction models for advanced applications
Hybrid concurrency control for abstract data types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
An architecture for integrating concurrency control into environment frameworks
Proceedings of the 17th international conference on Software engineering
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Atomicity with incompatible presumptions
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Recovery guarantees in mobile systems
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
Imposing transactional properties on distributed software atchitectures
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Flexible Transaction Dependencies in Database Systems
Distributed and Parallel Databases
Integrated version and transaction group model for shared engineering databases
Data & Knowledge Engineering
SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology
IEEE Transactions on Knowledge and Data Engineering
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Relaxed Atomic Commit for Real-Time Transactions in Mobile Computing Environment
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Computing Rules for Detecting Contradictory Transaction Termination Dependencies
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Review of Multidatabase Transactions on The Web: From the ACID to the SACReD
BNCOD 17 Proceedings of the 17th British National Conferenc on Databases: Advances in Databases
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
Recovery in Distributed Extended Long-lived Transaction Models
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
User Action Recovery in Internet SAGAs (iSAGAs)
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
History Merging as a Mechanism for Concurrency Control in Cooperative Environments
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises
Distributed and Parallel Databases
CAGISTrans: Providing Adaptable Transactional Support for Cooperative Work – an Extended Treatment
Information Technology and Management
A Survey of Mobile Transactions
Distributed and Parallel Databases
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
ACM Computing Surveys (CSUR)
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
ReflecTS: a flexible transaction service framework
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
A transactional object calculus
Science of Computer Programming
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
A tentative commit protocol for composite web services
Journal of Computer and System Sciences - Special issue: Performance modelling and evaluation of computer systems
Nested transactional memory: model and architecture sketches
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Using Fragmentation To Increase Reliability For Workflow Systems
Journal of Integrated Design & Process Science
Transaction-Oriented Engineering Design And Formal Specification: A Multi-Agent Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
Modeling business processes in web applications: an analysis framework
Proceedings of the 2007 ACM symposium on Applied computing
Interfacing remote transaction services using UPnP
Journal of Computer and System Sciences
ARTS: agent-oriented robust transactional system
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A comprehensive design model for integrating business processes in web applications
International Journal of Web Engineering and Technology
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
Log-based transactional workflow mining
Distributed and Parallel Databases
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development V
A framework for systematic synthesis of transactional middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
ACM SIGSOFT Software Engineering Notes
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
F-RT-ETM: toward analysis and formalizing real time transaction and data in real-time database
MEDI'11 Proceedings of the First international conference on Model and data engineering
A common conceptual basis for analyzing transaction service configurations
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Reliable scheduling of advanced transactions
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
Team transaction: a new transaction model for mobile ad hoc networks
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
A semantics-based protocol for business process transactions
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Conflict resolution in updates through XML views
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Testing the reliability of web services transactions in cooperative applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Model checking and code generation for transaction processing software
Concurrency and Computation: Practice & Experience
Hi-index | 0.00 |
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.