Publishing and composition of atomicity-equivalent services for B2B collaboration

ABSTRACT

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.

REFERENCES

• 1: Mansoor Ansari , Linda Ness , Marek Rusinkiewicz , Amit P. Sheth, Using Flexible Transactions to Support Multi-System Telecommunication Applications, Proceedings of the 18th International Conference on Very Large Data Bases, p.65-76, August 23-27, 1992
• 2: BTP. Available at: http://www.oasis-open.org/committees /download.php/9836/business_transaction-btp-1.1-spec-wd-04.pdf (accessed on 8 Jan 2006).
• 3: Jorge Cardoso , Amit P. Sheth , John Miller, Workflow Quality of Service, Proceedings of the IFIP TC5/WG5.12 International Conference on Enterprise Integration and Modeling Technique: Enterprise Inter- and Intra-Organizational Integration: Building International Consensus, p.303-311, April 24-26, 2002
• 4: Jorge Cardoso , Amit Sheth, Semantic E-Workflow Composition, Journal of Intelligent Information Systems, v.21 n.3, p.191-225, November 2003 [doi>10.1023/A:1025542915514]
• 5: Shing Chi Cheung , Jeff Kramer, Context constraints for compositional reachability analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.334-377, Oct. 1996 [doi>10.1145/235321.235323]
• 6: Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
• 7: Sanjay Dalal , Sazi Temel , Mark Little , Mark Potts , Jim Webber, Coordinating Business Transactions on the Web, IEEE Internet Computing, v.7 n.1, p.30-39, January 2003 [doi>10.1109/MIC.2003.1167337]
• 8: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Organizing long-running activities with triggers and transactions, ACM SIGMOD Record, v.19 n.2, p.204-214, Jun. 1990
• 9: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, A Transactional Model for Long-Running Activities, Proceedings of the 17th International Conference on Very Large Data Bases, p.113-122, September 03-06, 1991
• 10: Deora, V., Shao, J., Shercliff, G., Stockreisser, P.J., Gray, W.A., and Fiddian, N.J. Incorporating QoS specifications in service discovery. Web Information Systems - WISE 2004 International Workshops (Lecture Notes in Computer Science Vol.3307). Springer-Verlag. 2004, pp.252--263. Berlin, Germany.
• 11: Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 12: Hector Garcia-Molina , Kenneth Salem, Sagas, ACM SIGMOD Record, v.16 n.3, p.249-259, Dec. 1987
• 13: Paul Grefen , Jochem Vonk , Peter Apers, Global transaction support for workflow management systems: from formal specification to practical implementation, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.316-333, December 2001 [doi>10.1007/s007780100056]
• 14: Claus Hagen , Gustavo Alonso, Exception Handling in Workflow Management Systems, IEEE Transactions on Software Engineering, v.26 n.10, p.943-958, October 2000 [doi>10.1109/32.879818]
• 15: P. A. Lee , T. Anderson , J. C. Laprie , A. Avizienis , H. Kopetz, Fault Tolerance: Principles and Practice, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
• 16: Manufacturer website, http://bjqad.com/yawen/mall/index.asp (accessed on 8 Jan 2006).
• 17: Heiko Schuldt , Gustavo Alonso , Catriel Beeri , Hans-Jörg Schek, Atomicity and isolation for transactional processes, ACM Transactions on Database Systems (TODS), v.27 n.1, p.63-116, March 2002 [doi>10.1145/507234.507236]
• 18: UDDI. Available at: http://www.oasis-open.org/committees /uddi-spec/doc/tcspecs.htm#uddiv3 (accessed on 8 Jan 2006).
• 19: Jochem Vonk , Paul W. P. J. Grefen , Erik Boertjes , Peter M. G. Apers, Distributed Global Transaction Support for Workflow Management Applications, Proceedings of the 10th International Conference on Database and Expert Systems Applications, p.942-951, August 30-September 03, 1999
• 20: Jochem Vonk , Paul Grefen, Cross-Organizational Transaction Support for E-Services in Virtual Enterprises, Distributed and Parallel Databases, v.14 n.2, p.137-172, September 2003 [doi>10.1023/A:1024884626434]
• 21: Gerhard Weikum, Principles and realization strategies of multilevel transaction management, ACM Transactions on Database Systems (TODS), v.16 n.1, p.132-180, March 1991 [doi>10.1145/103140.103145]
• 22: Eric Wohlstadter , Stefan Tai , Thomas Mikalsen , Isabelle Rouvellou , Premkumar Devanbu, GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions, Proceedings of the 26th International Conference on Software Engineering, p.189-199, May 23-28, 2004
• 23: WS-C. Available at: http://msdn.microsoft.com/library/en-us/ dnglobspec/html/ws-coordination.asp (accessed on 8 Jan 2006).
• 24: WS-T. Available at: http://msdn.microsoft.com/ws/2002/08 /wstx/ (accessed on 8 Jan 2006).
• 25: Ye, C.Y., and Cheung, S.C. On Atomicity Consistent Services for B2B Collaboration. Technical report, No.HKUST-CS-05-16, Department of Computer Science, The Hong Kong University of Science & Technology, 2005.
• 26: Shaula Yemini , Daniel M. Berry, A modular verifiable exception handling mechanism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.214-243, April 1985 [doi>10.1145/3318.3320]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.3 Group and Organization Interfaces
          Subjects: Theory and models

Additional Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.3 Group and Organization Interfaces
          Subjects: Web-based interaction

General Terms:
Algorithms, Design, Theory, Verification

Keywords:
atomicity, process algebra, process collaboration, public view