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)
Reliability mechanisms for SDD-1: a system for distributed databases
ACM Transactions on Database Systems (TODS)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
An Introduction to Database Systems
An Introduction to Database Systems
An algorithm for minimizing roll back cost
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A Concurrency Control Scheme for CAD Transactions
A Concurrency Control Scheme for CAD Transactions
Transactions: a construct for reliable distributed computing
ACM SIGOPS Operating Systems Review
ACM Transactions on Information Systems (TOIS)
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
Communications of the ACM
An operational requirement description model for open systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Node autonomy in distributed systems
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Concurrent programming vs. concurrency control: shared events or shared data
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Implementing recoverable requests using queues
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
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
A theory of relaxed atomicity (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Non-deterministic queue operations
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HYDRO: a heterogeneous distributed database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An optimistic commit protocol for distributed transaction management
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
MLR: a recovery method for multi-level systems
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Ensuring transaction atomicity in multidatabase systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communications of the ACM
On correctness of non-serializable executions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending the scope of database services
ACM SIGMOD Record
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Two-phase locking performance and its thrashing behavior
ACM Transactions on Database Systems (TODS)
Database system issues in nomadic computing
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Third generation TP monitors: a database challenge
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Lightweight recoverable virtual memory
ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles
ACM Transactions on Database Systems (TODS)
Managing business processes as an information resource
IBM Systems Journal
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Database in crisis and transition: a technical agenda for the year 2001
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Exotica: a project on advanced transaction management and workflow systems
ACM SIGOIS Bulletin - Special issue: business process reengineering
Towards adaptive scheduling of tasks in transactional workflows
WSC '95 Proceedings of the 27th conference on Winter simulation
Perspectives on database theory
ACM SIGACT News
A concurrency control framework for collaborative systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Specification and Management of Interdependent Data in OperationalSystems and Data Warehouses
Distributed and Parallel Databases
Application Specific Transaction Management in MultidatabaseSystems
Distributed and Parallel Databases
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
Ensuring consistency in multidatabases by preserving two-level serializability
ACM Transactions on Database Systems (TODS)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communications of the ACM
Database model for web-based cooperative applications
Proceedings of the eighth international conference on Information and knowledge management
Utilizing mobile computing in the Wishard Memorial Hospital ambulatory service
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Optimistic security: a new access control paradigm
Proceedings of the 1999 workshop on New security paradigms
Rewriting Histories: Recovering from Malicious Transactions
Distributed and Parallel Databases - Security of data and transaction processing
Databases in software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Strategies for integrating messaging and distributed object transactions
IFIP/ACM International Conference on Distributed systems platforms
Virtual transaction model to support workflow applications
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Distributed and Parallel Databases
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Flexible Transaction Dependencies in Database Systems
Distributed and Parallel Databases
Real-Time Data Semantics and Similarity-Based Concurrency Control
IEEE Transactions on Computers
Extending the transaction model to capture more meaning
ACM SIGMOD Record
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
ACM Journal of Computer Documentation (JCD)
CovaTM: a transaction model for cooperative applications
Proceedings of the 2002 ACM symposium on Applied computing
Database support for evolving data in product design
Computers in Industry - Special issue: CSCW in design
Latency hiding with optimistic computations
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Integrated version and transaction group model for shared engineering databases
Data & Knowledge Engineering
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model
The Journal of Supercomputing
Cooperative transaction hierarchies: transaction support for design applications
The VLDB Journal — The International Journal on Very Large Data Bases
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Multi-level transaction management for complex objects: implementation, performance, parallelism
The VLDB Journal — The International Journal on Very Large Data Bases
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
Using Tickets to Enforce the Serializability of Multidatabase Transactions
IEEE Transactions on Knowledge and Data Engineering
A Formal Characterization of Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Long-Lived Transaction Processing Systems with Rollbacks and Aborts
IEEE Transactions on Knowledge and Data Engineering
Global Committability in Multidatabase Systems
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
Recovery from Malicious Transactions
IEEE Transactions on Knowledge and Data Engineering
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Automating Workflows for Service Order Processing: Integrating AI and Database Technologies
IEEE Expert: Intelligent Systems and Their Applications
Fault-Tolerant Mobile Agent Execution
IEEE Transactions on Computers
Global Predicate-Based Locks in Long-Running Transactions
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Transactions in Stack, Fork, and Join Composite Systems
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Business Process Coordination: State of the Art, Trends, and Open Issues
Proceedings of the 27th International Conference on Very Large Data Bases
Proclamation-Based Model for Cooperating Transactions
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
DBMS Research at a Crossroads: The Vienna Update
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Critical Evaluation of the EJB Transaction Model
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
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
Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
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
IDEAL '02 Proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning
The Coyote Project: Framework for Multi-party E-Commerce
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
The CORBA Activity Service Framework for Supporting Extended Transactions
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
The Evolution of Distributed Component Architectures
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
User Action Recovery in Internet SAGAs (iSAGAs)
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Advanced Transactions in Enterprise JavaBeans
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Distributed Global Transaction Support for Workflow Management Applications
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Quality-Based Synchronization Methods of Multimedia Objects
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
WorkMan - A Transactional Workflow Prototype
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Transactional Workflows or Workflow Transactions?
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
The impact of object technology on commercial transaction processing
The VLDB Journal — The International Journal 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 VLDB Journal — The International Journal on Very Large Data Bases
The CORBA activity service framework for supporting extended transactions
Software—Practice & Experience - Special issue: Middleware
Transactions in loosely coupled distributed systems
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Contracting Transaction Hierarchies
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Exploiting user-group relationships for increasing concurrency in software engineering environments
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Transactional Coordination Agents for Composite Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises
Distributed and Parallel Databases
Confirmation: increasing resource availability for transactional workflows
Information Sciences: an International Journal
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
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
Towards a uniform cooperative platform: cova approach and experience
Journal of Computer Science and Technology - Grid computing
Communications of the ACM - Service-oriented computing
CAGISTrans: Providing Adaptable Transactional Support for Cooperative Work – an Extended Treatment
Information Technology and Management
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A Survey of Mobile Transactions
Distributed and Parallel Databases
Web service composition transaction management
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Extending the concept of transaction compensation
IBM Systems Journal
Recovery of PTUIE Handling from Source Codes through Recognizing Its Probable Properties
IEEE Transactions on Knowledge and Data Engineering
Finding and preventing run-time error handling mistakes
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Investigations in tree locking for compiled database applications
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
ACM Computing Surveys (CSUR)
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Composition of coordinated web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
A framework for handling dependencies among web services transactions
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
Optimistic intra-transaction parallelism on chip multiprocessors
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
ReflecTS: a flexible transaction service framework
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
Une architecture hybride pour i'interrogation et i'administration des capteurs
UbiMob '05 Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
KALA: Kernel Aspect language for advanced transactions
Proceedings of the 2006 ACM symposium on Applied computing
Data delivery in a service-oriented world: the BEA aquaLogic data services platform
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Event-condition-action rules on RDF metadata in P2P environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Extending the data warehouse for service provisioning data
Data & Knowledge Engineering - Special issue: ER 2003
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Transactional collection classes
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
State-Based Modeling Of Flexible Workflow Executions In Distributed Environments
Journal of Integrated Design & Process Science
Performance analysis of long-lived cooperative transactions in active DBMS
Data & Knowledge Engineering
Enforcing well-formed and partially-formed transactions for Unix
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
ReLAx: implementing KALA over the reflex AOP kernel
Proceedings of the 2nd workshop on Domain specific aspect languages
Modeling of concurrent web sessions with bounded inconsistency in shared data
Journal of Parallel and Distributed Computing
A methodology for asynchronous multi-user editing of semantic web ontologies
Proceedings of the 4th international conference on Knowledge capture
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Incrementally parallelizing database transactions with thread-level speculation
ACM Transactions on Computer Systems (TOCS)
Interfacing remote transaction services using UPnP
Journal of Computer and System Sciences
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
An environment for flexible advanced compensations of Web service transactions
ACM Transactions on the Web (TWEB)
A transactional grid workflow service for ShanghaiGrid
International Journal of Web and Grid Services
Cost based web services transaction management
International Journal of Web and Grid Services
A framework for ensuring consistency of Web Services Transactions
Information and Software Technology
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
KALA: Kernel aspect language for advanced transactions
Science of Computer Programming
Maintaining consistency in a failure-prone P2P database network during transaction processing
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Flexible transaction processing in the Argos middleware
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
Generating CAM aspect-oriented architectures using Model-Driven Development
Information and Software Technology
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Event-Based Service Coordination
Concurrency, Graphs and Models
Automatic Mutual Exclusion and Atomicity Checks
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
An Observational Model for Transactional Calculus of Services Orchestration
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Design and verification of long-running transactions in a timed framework
Science of Computer Programming
A Fault-Tolerant Model of Wireless Sensor-Actuator Network
International Journal of Distributed Sensor Networks - Advances on Heterogeneous Wireless Sensor Networks
Towards a contractual approach for transaction management
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
An extended cooperative transaction model for xml
Proceedings of the 2nd PhD workshop on Information and knowledge management
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Exploiting a database system in scheduling internet-based workflows
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Atomicity and provenance support for pipelined scientific workflows
Future Generation Computer Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
Fault, Compensation and Termination in WS-BPEL 2.0 -- A Comparative Analysis
Web Services and Formal Methods
Refactoring Long Running Transactions
Web Services and Formal Methods
The VLDB Journal — The International Journal on Very Large Data Bases
Software self-reconfiguration: a BDI-based approach
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Compensation-aware data types in RDBMS
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Strengths and weaknesses of WS-BusinessActivity for cross-organizational SOA applications
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Information Systems Development in the Age of Multimedia Web Systems
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
The Consistency of Web Conversations
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
On performance evaluation and design of atomic commit protocols for mobile transactions
Distributed and Parallel Databases
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Implementing Isolation for Service-Based Applications
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
Message queuing patterns for middleware-mediated transactions
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
BIS'07 Proceedings of the 10th international conference on Business information systems
A transaction model for context-aware applications
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Verifying compensating transactions
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
ACM SIGSOFT Software Engineering Notes
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Algebraic semantics for compensable transactions
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Recovery mechanisms for semantic web services
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
When things go wrong: interrupting conversations
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Modeling alternatives in exception executions
BPM'07 Proceedings of the 2007 international conference on Business process management
Foundations of security analysis and design IV
Evolution and reactivity in the semantic web
Semantic techniques for the web
Efficiently supporting secure and reliable collaboration in scientific workflows
Journal of Computer and System Sciences
Performance evaluation of Atomic Commit Protocols for mobile transactions
International Journal of Intelligent Information and Database Systems
An extended cCSP with stable failures semantics
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Data-oriented transaction execution
Proceedings of the VLDB Endowment
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Transaction processing in a peer to peer database network
Data & Knowledge Engineering
Communications of the ACM
Entangled queries: enabling declarative data-driven coordination
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Coordination through querying in the youtopia system
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
A pipeline-based approach for long transaction processing in web service environments
International Journal of Web and Grid Services
Transaction logic with external actions
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Failure-divergence refinement of compensating communicating processes
FM'11 Proceedings of the 17th international conference on Formal methods
Concurrent execution of transactions in a peer-to-peer database network
International Journal of Intelligent Information and Database Systems
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
Model-driven development of long running transactions
Rigorous software engineering for service-oriented systems
A proposal for transactions in the semantic web
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Supporting data consistency in concurrent process execution with assurance points and invariants
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reverting the effects of XQuery update expressions
BNCOD'11 Proceedings of the 28th British national conference on Advances in databases
A service-oriented workflow language for robust interacting applications
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Optimizing exception handling in workflows using process restructuring
BPM'06 Proceedings of the 4th international conference on Business Process Management
Maintaining consistency under isolation relaxation of web services transactions
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Handling transactional properties in web service composition
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Online, non-blocking relational schema changes
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Semantics of BPEL4WS-Like fault and compensation handling
FM'05 Proceedings of the 2005 international conference on Formal Methods
On the development of a multiple-compensation mechanism for business transactions
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Transactional aspects in semantic based discovery of services
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Executable semantics for compensating CSP
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Non-blocking materialized view creation and transformation of schemas
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
The deltagrid abstract execution model: service composition and process interference handling
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A process history capture system for analysis of data dependencies in concurrent process execution
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Modeling long–running transactions with communicating hierarchical timed automata
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Architecture for distributed ERP systems
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
Integrated distributed/mobile logistics management
Transactions on Large-Scale Data- and Knowledge-Centered Systems V
Communications of the ACM
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Testing the reliability of web services transactions in cooperative applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Entangled queries: Enabling declarative data-driven coordination
ACM Transactions on Database Systems (TODS)
The complexity of social coordination
Proceedings of the VLDB Endowment
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Transactional Workflows in Distributed Systems
Fundamenta Informaticae
Automatic undo for cloud management via AI planning
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Cooperative data management for XML data
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
An aggregation composition compensation method based on paired net
International Journal of Automation and Computing
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Safer asynchronous runtime monitoring using compensations
Formal Methods in System Design
Fault tolerance via idempotence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
HAT, not CAP: towards highly available transactions
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
"All roads lead to Rome": optimistic recovery for distributed iterative data processing
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Transaction chains: achieving serializability with low latency in geo-distributed storage systems
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Supporting undoability in systems operations
LISA'13 Proceedings of the 27th international conference on Large Installation System Administration
Deriving reliable compositions using cancelable web services
ACM SIGSOFT Software Engineering Notes
The CAP theorem versus databases with relaxed ACID properties
Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication
Managing consistency anomalies in distributed integrated databases with relaxed ACID properties
Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication
Requirements-driven software evolution
Computer Science - Research and Development
Hi-index | 0.08 |
Long lived transactions (LLTs) hold on to database resources for relatively long periods of time, significantly delaying the termination of shorter and more common transactions. To alleviate these problems we propose the notion of a saga. A LLT is a saga if it can be written as a sequence of transactions that can be interleaved with other transactions. The database management system guarantees that either all the transactions in a saga are successfully completed or compensating transactions are run to amend a partial execution. Both the concept of saga and its implementation are relatively simple, but they have the potential to improve performance significantly. We analyze the various implementation issues related to sagas, including how they can be run on an existing system that does not directly support them. We also discuss techniques for database and LLT design that make it feasible to break up LLTs into sagas.