A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Introduction to algorithms
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)
Database transaction models for advanced applications
Database transaction models for advanced applications
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Coordinating Business Transactions on the Web
IEEE Internet Computing
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
ICEIMT '01 Proceedings of the IFIP TC5/WG5.12 International Conference on Enterprise Integration and Modeling Technique: Enterprise Inter- and Intra-Organizational Integration: Building International Consensus
The VLDB Journal — The International Journal on Very Large Data Bases
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises
Distributed and Parallel Databases
Semantic E-Workflow Composition
Journal of Intelligent Information Systems
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
Proceedings of the 26th International Conference on Software Engineering
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
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
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Data flow testing of service-oriented workflow applications
Proceedings of the 30th international conference on Software engineering
Scheduling optimization in coupling independent services as a Grid transaction
Journal of Parallel and Distributed Computing
Test case prioritization for regression testing of service-oriented business applications
Proceedings of the 18th international conference on World wide web
Feature-Based Engineering of Compensations in Web Service Environment
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Research note: A compensation cost analysis of service-aggregate transaction for DTNs clients
Journal of Parallel and Distributed Computing
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
Efficiently supporting secure and reliable collaboration in scientific workflows
Journal of Computer and System Sciences
Enforcing access control in workflow systems with a task engineering approach
International Journal of Internet Technology and Secured Transactions
Personalized Reliability Prediction of Web Services
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Collaborative QoS-Aware Service Evaluation Method Among Multi-Users for a Shared Service
International Journal of Web Services Research
Hi-index | 0.00 |
Exception handling resolves inconsistency by backward or forward error recovery methods or both in Business-to-Business (B2B) process collaboration. To avoid committing irrevocable tasks followed by exceptions, B2B processes, which guarantee the atomicity sphere property, are attractive. While atomicity sphere ensures its outcomes to be either all or nothing, conflicting local recoveries may lead to global B2B inconsistencies. Existing (global) analysis techniques however mandate every process unveiling all individual tasks. Such an analysis is infeasible when some business parties refuse to disclose their process details for privacy or business reasons. To address this problem, we propose a process algebraic technique to prove, construct, and check atomicity-equivalent public views from B2B processes. By checking atomicity spheres in the composition of these public views, business parties can identify suitable services that respect their individual and overall atomicity requirements. An example based on a real-life multilateral supply chain process is included.