Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
The Escrow transactional method
ACM Transactions on Database Systems (TODS)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Nested transactions: an introduction
Concurrency control and reliability in distributed systems
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
Database transaction models for advanced applications
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unifying concurrency control and recovery of transactions
Information Systems - Special issue on extending database technology
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Synchronizing long-lived computations
Performance of concurrency control mechanisms in centralized database systems
Atomicity in electronic commerce
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Correctness and parallelism in composite systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unifying concurrency control and recovery of transactions with semantically rich operations
Theoretical Computer Science - Special issue: database theory
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Correctness in general configurations of transactional components
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Concurrency control and recovery in transactional process management
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Global Scheduling for Flexible Transactions in Heterogeneous Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Failure Handling for Transaction Hierarchies
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
A Transactional Nested Process Management System
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Distributed Processing over Stand-alone Systems and Applications
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
WISE: Business to Business E-Commerce
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Transactional Coordination Agents for Composite Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 1 - Volume 1
Automatic Generation of Reliable E-Commerce Payment Processes
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 1 - Volume 1
Infrastructure for Information Spaces
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
A model to support collaborative work in virtual enterprises
Data & Knowledge Engineering - Special issue: Advances in business process management
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
Ensuring required failure atomicity of composite Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Decentralized coordination of transactional processes in peer-to-peer environments
Proceedings of the 14th ACM international conference on Information and knowledge management
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Mining unconnected patterns in workflows
Information Systems
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
JOpera: A Toolkit for Efficient Visual Composition of Web Services
International Journal of Electronic Commerce
Detection and resolution of atomicity violation in service composition
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Can-Follow Concurrency Control
IEEE Transactions on Computers
Web service composition with O'GRAPE and OSIRIS
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Distributed algorithms for partially clairvoyant dispatchers
Cluster Computing
Scheduling optimization in coupling independent services as a Grid transaction
Journal of Parallel and Distributed Computing
Mining taxonomies of process models
Data & Knowledge Engineering
The Hyperdatabase Project --- From the Vision to Realizations
BNCOD '08 Proceedings of the 25th British national conference on Databases: Sharing Data, Information and Knowledge
Agents and Databases: A Symbiosis?
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Extraction of business process models from workflow events logs
International Journal of Parallel, Emergent and Distributed Systems
Adaptive workflow scheduling under resource allocation constraints and network dynamics
Proceedings of the VLDB Endowment
Research note: A compensation cost analysis of service-aggregate transaction for DTNs clients
Journal of Parallel and Distributed Computing
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Consistent process execution in peer-to-peer information systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
DELOS'07 Proceedings of the 1st international conference on Digital libraries: research and development
A multi-level model for activity commitments in e-contracts
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Efficiently supporting secure and reliable collaboration in scientific workflows
Journal of Computer and System Sciences
Process compliance analysis based on behavioural profiles
Information Systems
The DISTARNET approach to reliable autonomic long-term digital preservation
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Concurrent execution of transactions in a peer-to-peer database network
International Journal of Intelligent Information and Database Systems
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
The hyperdatabase network – new middleware for searching and maintaining the information space
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Data–driven process control and exception handling in process management systems
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Spheres of isolation: adaptation of isolation levels to transactional workflow
BPM'05 Proceedings of the 3rd international conference on Business Process Management
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
A service-oriented grid infrastructure for multimedia management and search
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
Multi-Level Modeling of Web Service Compositions with Transactional Properties
Journal of Database Management
Ensuring Customised Transactional Reliability of Composite Services
Journal of Database Management
IDEA: improving dependability for self-adaptive applications
Proceedings of the 2013 Middleware Doctoral Symposium
Hi-index | 0.00 |
Processes are increasingly being used to make complex application logic explicit. Programming using processes has significant advantages but it poses a difficult problem from the system point of view in that the interactions between processes cannot be controlled using conventional techniques. In terms of recovery, the steps of a process are different from operations within a transaction. Each one has its own termination semantics and there are dependencies among the different steps. Regarding concurrency control, the flow of control of a process is more complex than in a flat transaction. A process may, for example, partially roll back its execution or may follow one of several alternatives. In this article, we deal with the problem of atomicity and isolation in the context of processes. We propose a unified model for concurrency control and recovery for processes and show how this model can be implemented in practice, thereby providing a complete framework for developing middleware applications using processes.