The Community for Technology Leaders
RSS Icon
Issue No.01 - January/February (2009 vol.35)
pp: 2-28
Chunyang Ye , The Hong Kong University of Science and Technology, Hong Kong
S.C. Cheung , The Hong Kong University of Science and Technology, Hong Kong
W.K. Chan , City University of Hong Kong, Hong Kong
Chang Xu , The Hong Kong University of Science and Technology, Hong Kong
Atomicity is a highly desirable property for achieving application consistency in service compositions. To achieve atomicity, a service composition should satisfy the atomicity sphere, a structural criterion for the backend processes of involved services. Existing analysis techniques for atomicity sphere generally assume complete knowledge of all involved backend processes. Such an assumption is invalid when some service providers do not release all details of their backend processes to service consumers outside the organizations. To address this problem, we propose a process algebraic framework to publish atomicity-equivalent public views from the backend processes. These public views extract relevant task properties and reveal only partial process details that service providers need to expose. Our framework enables the analysis of atomicity sphere for service compositions using these public views instead of their backend processes. This allows service consumers to choose suitable services such that their composition satisfies the atomicity sphere without disclosing the details of their backend processes. Based on the theoretical result, we present algorithms to construct atomicity-equivalent public views and to analyze the atomicity sphere for a service composition. Two case studies from supply chain and insurance domains are given to evaluate our proposal and demonstrate the applicability of our approach.
Analysis, Specification, Software and System Safety, System integration and implementation, Formal methods, Model checking, Validation
Chunyang Ye, S.C. Cheung, W.K. Chan, Chang Xu, "Atomicity Analysis of Service Composition across Organizations", IEEE Transactions on Software Engineering, vol.35, no. 1, pp. 2-28, January/February 2009, doi:10.1109/TSE.2008.86
[1] W.M.P. van der Aalst, “Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce,” Electronic Commerce Research, vol. 2, no. 3, pp. 195-231, 2002.
[2] W.M.P. van der Aalst and T. Basten, “Inheritance of Workflows: An Approach to Tackling Problems Related to Change,” Theoretical Computer Science, vol. 270, no. 1/2, pp. 125-203, Jan. 2002.
[3] Alibaba Website,, Aug. 2008.
[4] Atomicity Analysis Tool, , 2008.
[5] M. Ansari, L. Ness, M. Rusinkiewicz, and A. Sheth, “Using Flexible Transactions to Support Multi-System Telecommunication Applications,” Proc. 18th Int'l Conf. Very Large Data Bases, pp.65-76, 1992.
[6] J.A. Bergstra, A. Ponse, and S.A. Smolka, “The Linear Time— Branching Time Spectrum I,” Handbook of Process Algebra, R.J. van Glabbeek, ed., Elsevier, 2001.
[7] BPEL, specification/ws-bpel, Aug. 2008.
[8] D. Brand and P. Zafiropulo, “On Communicating Finite-State Machines,” J. ACM, vol. 30, no. 2, pp. 323-342, Apr. 1983.
[9] M. Broy, I.H. Krüger, and M. Meisinger, “A Formal Model of Services,” ACM Trans. Software Eng. and Methodology, vol. 16, no. 1, pp. 1-40, Feb. 2007.
[10] BTP, 11842002-06-03.BTP_cttee_spec_1.0.pdf, Aug. 2008.
[11] C. Bussler, “Behavior Abstraction in Semantic B2B Integration,” Conceptual Modeling for New Information Systems Technologies, ER 2001 Workshops. HUMACS, DASWIS, ECOMO, and DAMA, revised papers, pp. 377-389, 2002.
[12] C. Bussler, “Public Process Inheritance for Business-to-Business Integration,” Proc. Third Int'l Workshop Technologies for E-Services, pp. 19-28, 2002.
[13] M. Butler, C. Ferreira, and M.Y. Ng, “Precise Modelling of Compensating Business Transactions and Its Application to BPEL,” J. Universal Computer Science, vol. 11, no. 5, pp. 712-743, 2005.
[14] M. Butler and C. Ferreira, “An Operational Semantics for StAC, A Language for Modelling Long-Running Business Transactions,” Proc. Sixth Int'l Conf. Coordination Models and Languages, pp. 87-104, 2004.
[15] M. Butler, C.A.R. Hoare, and C. Ferreira, “A Trace Semantics for Long-Running Transactions,” Proc. 25 Years of CSP, pp. 133-150, 2005.
[16] J. Cardoso, A. Sheth, and J. Miller, “Workflow Quality of Service,” Proc. 12th Int'l Conf. Enterprise Integration and Modeling Technology, pp. 303-311, 2003.
[17] J. Cardoso and A. Sheth, “Semantic E-Workflow Composition,” J.Intelligent Information Systems, vol. 21, no. 3, pp. 191-225, Nov. 2003.
[18] F. Casati and G. Cugola, “Error Handling in Process Support Systems,” Advances in Exception Handling Techniques, pp. 251-270, Springer-Verlag, 2001.
[19] F. Casati, S. Castano, M.G. Fugini, I. Mirbel, and B. Pernici, “Using Patterns to Design Rules in Workflows,” IEEE Trans. Software Eng., vol. 26, no. 8, pp. 760-785, Aug. 2000.
[20] F. Casati, S. Ceri, S. Paraboschi, and G. Pozzi, “Specification and Implementation of Exceptions in Workflow Management Systems,” ACM Trans. Database Systems, vol. 24, no. 3, pp. 405-451, Sept. 1999.
[21] CrossFlow Consortium/AGFIL. Insurance Requirements, CrossFlow deliverable: D1.b. La Gaude, (accessed on 5 May 2006), Mar. 1999.
[22] D.K.W. Chiu, S.C. Cheung, S. Till, K. Karlapalem, Q. Li, and E. Kafeza, “Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment,” Information Technology and Management, vol. 5, no. 3/4, pp. 221-250, July-Oct. 2004.
[23] D.K.W. Chiu, K. Karlapalem, and Q. Li, “Views for Inter-Organization Workflow in an E-Commerce Environment,” Proc. IFIP TC2/WG2.6 Ninth Working Conf. Database Semantics: Semantic Issues in E-Commerce Systems, pp. 137-151, 2003.
[24] D.K.W. Chiu, K. Karlapalem, Q. Li, and E. Kafeza, “Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment,” Distributed and Parallel Databases, vol. 12, nos. 2/3, pp. 193-216, Sept.-Nov. 2002.
[25] D.K.W. Chiu, Z. Shan, P.C.K. Hung, and Q. Li, “Designing Workflow Views with Flows for Large-Scale Business-to-Business Information Systems,” Proc. Fifth Int'l Workshop Technologies for E-Services, revised selected papers, pp. 107-121, 2004.
[26] T.H. Cormen, C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms, pp. 449-457. MIT Press, 1990.
[27] S. Dalal, S. Temel, M. Little, M. Potts, and J. Webber, “Coordinating Business Transactions on the Web,” IEEE Internet Computing, vol. 7, no. 1, pp. 30-39, Jan./Feb. 2003.
[28] U. Dayal, M. Hsu, and R. Ladin, “Organizing Long-Running Activities with Triggers and Transactions,” SIGMOD Record, vol. 19, no. 2, pp. 204-214, June 1990.
[29] U. Dayal, M. Hsu, and R. Ladin, “A Transactional Model for Long-Running Activities,” Proc. 17th Int'l Conf. Very Large Data Bases, pp.113-122, 1991.
[30] V. Deora, J. Shao, G. Shercliff, P.J. Stockreisser, W.A. Gray, and N.J. Fiddian, “Incorporating QoS Specifications in Service Discovery,” Proc. Fifth Int'l Conf. Web Information Systems Eng., pp.252-263, 2004.
[31] A.K. Elmagarmid, Database Transaction Models for Advanced Applications. Morgan Kaufmann, 1992.
[32] J. Fischer and R. Majumdar, “Ensuring Consistency in Long Running Transactions,” Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng., pp. 54-63, 2007.
[33] H. Foster, “A Rigorous Approach to Engineering Web Service Compositions,” PhD thesis, Imperial College London, Jan. 2006.
[34] H. Foster, S. Uchitel, J. Magee, and J. Kramer, “Model-Based Verification of Web Service Compositions,” Proc. 18th IEEE Int'l Conf. Automated Software Eng., pp. 152-161, 2003.
[35] H. Foster, S. Uchitel, J. Magee, and J. Kramer, “Compatibility Verification for Web Service Choreography,” Proc. Third IEEE Int'l Conf. Web Services, pp. 738-741, 2004.
[36] H. Foster, W. Emmerich, J. Kramer, J. Magee, D. Rosenblum, and S. Uchitel, “Model Checking Service Compositions under Resource Constraints,” Proc. Sixth Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Software Eng., pp. 225-234, 2007.
[37] X. Fu, T. Bultan, and J.W. Su, “Analysis of Interacting BPEL Web Services,” Proc. Third IEEE Int'l Conf. Web Services, pp. 621-630, 2004.
[38] X. Fu, T. Bultan, and J.W. Su, “Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services,” Theoretical Computer Science, vol. 328, nos. 1-2, pp. 19-37, Nov. 2004.
[39] X. Fu, T. Bultan, and J.W. Su, “Synchronizability of Conversations among Web Services,” IEEE Trans. Software Eng., vol. 31, no. 12, pp. 1042-1055, Dec. 2005.
[40] H. Garcia-Molina and K. Salem, “SAGAS,” SIGMOD Record, vol. 16, no. 3, pp. 249-259, Dec. 1987.
[41] J. Gray, Notes on Data Base Operating Systems, pp. 393-481, Springer-Verlag, 1978.
[42] P. Greenfield, D. Kuo, S. Nepal, and A. Fekete, “Consistency for Web Services Applications,” Proc. 31st Int'l Conf. Very Large Data Bases, pp. 1199-1203, Aug./Sept. 2005.
[43] P. Grefen, J. Vonk, and P. Apers, “Global Transaction Support for Workflow Management Systems: From Formal Specification to Practical Implementation,” The VLDB J., vol. 10, no. 4, pp. 316-333, Dec. 2001.
[44] C. Hagen and G. Alonso, “Exception Handling in Workflow Management Systems,” IEEE Trans. Software Eng., vol. 26, no. 10, pp. 943-958, Oct. 2000.
[45] S. Hinz, K. Schmidt, and C. Stahl, “Transforming BPEL to Petri Nets,” Proc. Third Int'l Conf. Business Process Management, pp. 220-235, 2005.
[46] H.A. Jacobsen and B.J. Krämer, “Modeling Interface Definition Language Extensions,” Proc. 37th Int'l Conf. Technology of Object-Oriented Languages and Systems, pp. 242-252, 2000.
[47] A. Kumar and J.L. Zhao, “Workflow Support for Electronic Commerce Applications,” Decision Support Systems, vol. 32, no. 3, pp. 265-278, 2002.
[48] P.A. Lee and T. Anderson, Fault Tolerance: Principles and Practice, pp. 143-185. Springer-Verlag, 1990.
[49] D.-R. Liu and M. Shen, “Workflow Modelling for Virtual Processes: An Order-Preserving Process-View Approach,” Information Systems, vol. 28, no. 6, pp. 505-532, Sept. 2003.
[50] J. Magee and J. Kramer, Concurrency—State Models and Java Programs. John Wiley & Sons, 1999.
[51] Manufacturer,, Aug. 2008.
[52] M. Mazzara and S. Govoni, “A Case Study of Web Services Orchestration,” Proc. Seventh Int'l Conf. Coordination Models and Languages, pp. 1-16, 2005.
[53] B. Medjahed, A. Bouguettaya, and A.K. Elmagarmid, “Composing Web Services on the Semantic Web,” The VLDB J., vol. 12, no. 4, pp. 333-351, Nov. 2003.
[54] S. Nakajima, “Model-Checking of Safety and Security Aspects in Web Service Flows,” Proc. Fourth Int'l Conf. Web Eng., pp. 488-501, 2004.
[55] M.P. Papazoglou, P. Traverso, S. Dustdar, F. Leymann, and B.J. Krämer, “Service-Oriented Computing: A Research Roadmap,” Proc. Service Oriented Computing, 2006.
[56] RosettaNet, index.html, Aug. 2008.
[57] W. Sadiq and M.E. Orlowska, “Analyzing Process Models Using Graph Reduction Techniques,” Information Systems, vol. 25, no. 2, pp. 117-134, 2000.
[58] H. Schuldt, G. Alonso, C. Beeri, and H.-J. Schek, “Atomicity and Isolation for Transactional Processes,” ACM Trans. Database Systems, vol. 27, no. 1, pp. 63-116, Mar. 2002.
[59] K. Schultz and M.E. Orlowska, “Facilitating Cross-Organisational Workflows with a Workflow View Approach,” Data and Knowledge Eng., vol. 51, no. 1, pp. 109-147, Oct. 2004.
[60] S. Uchitel, J. Kramer, and J. Magee, “Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios,” ACM Trans. Software Eng. and Methodology, vol. 13, no. 1, pp. 37-85, Jan. 2004.
[61] UDDI, , Aug. 2008.
[62] J. Vonk, P. Grefen, E. Boertjes, and P. Apers, “Distributed Global Transaction Support for Workflow Management Applications,” Proc. 10th Int'l Conf. Database and Expert System Applications, pp.942-951, 1999.
[63] J. Vonk and P. Grefen, “Cross-Organizational Transaction Support for E-Services in Virtual Enterprises,” Distributed and Parallel Databases, vol. 14, no. 2, pp. 137-172, Sept. 2003.
[64] X. Wang, B.J. Krämer, Y. Zhao, and W.A. Halang, “Representation and Discovery of Intelligent E-Services,” E-Service Intelligence. Springer, 2007.
[65] G. Weikum, “Principles and Realization Strategies of Multilevel Transaction Management,” ACM Trans. Database Systems, vol. 16, no. 1, pp. 132-180, Mar. 1991.
[66] E. Wohlstadter, S. Tai, T. Mikalsen, I. Rouvellou, and P. Devanbu, “GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions,” Proc. 26th Int'l Conf. Software Eng., pp. 189-199, 2004.
[67] A. Wombacher, P. Fankhauser, and E. Neuhold, “Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery,” Proc. Third IEEE Int'l Conf. Web Services, pp.316-323, 2004.
[68] WSCI,, Aug. 2008.
[69] WSDL,, Aug. 2008.
[70] WS-C, 200606, Aug. 2008.
[71] WS-T, specificationws-tx/ Aug. 2008.
[72] C.Y. Ye, S.C. Cheung, and W.K. Chan, “Publishing and Composition of Atomicity-Equivalent Services for B2B Collaboration,” Proc. 28th Int'l Conf. Software Eng., pp. 351-360, 2006.
[73] C.Y. Ye, S.C. Cheung, W.K. Chan, and C. Xu, “Local Analysis of Atomicity Sphere for B2B Collaboration,” Proc. 14th ACM SIGSOFT Int'l Symp. Foundations of Software Eng., pp. 186-196, Nov. 2006.
[74] S. Yemini and D.M. Berry, “A Modular Verifiable Exception-Handling Mechanism,” ACM Trans. Programming Languages and Systems, vol. 7, no. 2, pp. 214-243, Apr. 1985.
[75] L.Z. Zeng, B. Benatallah, A.H.H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, “QoS-Aware Middleware for Web Services Composition,” IEEE Trans. Software Eng., vol. 30, no. 5, pp. 311-327, May 2004.
[76] A. Zhang, M. Nodine, B. Bhargava, and O. Bukhres, “Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems,” SIGMOD Record, vol. 23, no. 2, pp. 67-78, June 1994.
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool