SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
Database transaction models for advanced applications
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Messaging and queueing using the MQI
Messaging and queueing using the MQI
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
An Experimental Analysis of Undo in Ubiquitous Computing Environments
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Undo for mobile phones: does your mobile phone need an undo key? do you?
Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges
Electronic Notes in Theoretical Computer Science (ENTCS)
Using B refinement to analyse compensating business processes
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
From theory to practice in transactional composition of web services
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
On realizing quick compensation transactions in cloud computing
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
The ability to compensate for previous activities, often in the case of failure or exceptional events, is an important feature of long-running business transactions. In this paper, we present several extensions to existing notions of compensation for business transactions. The extensions are described using a business process modeling language called StAC (Structured Activity Compensation) but are also placed in the context of IBM's BPBeans (Business Process Beans) enterprise technology. The meaning of the compensation mechanisms is made precise, as are issues of compensation scoping in multilevel transactions. The compensation extensions result in flexible and powerful mechanisms for modeling and implementing long-running business transactions.