The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - April-June (2013 vol.6)
pp: 276-288
Hua Chai , Cleveland State University, Cleveland
Honglei Zhang , Cleveland State University, Cleveland
Wenbing Zhao , Cleveland State University, Cleveland
P. Michael Melliar-Smith , University of California at Santa Barbara, Santa Barbara
Louise E. Moser , University of California at Santa Barbara, Santa Barbara
ABSTRACT
We present a lightweight Byzantine fault tolerance (BFT) algorithm, which can be used to render the coordination of web services business activities (WS-BA) more trustworthy. The lightweight design of the BFT algorithm is the result of a comprehensive study of the threats to the WS-BA coordination services and a careful analysis of the state model of WS-BA. The lightweight BFT algorithm uses source ordering, rather than total ordering, of incoming requests to achieve Byzantine fault tolerant, state-machine replication of the WS-BA coordination services. We have implemented the lightweight BFT algorithm, and incorporated it into the open-source Kandula framework, which implements the WS-BA specification with the WS-BA-I extension. Performance evaluation results obtained from the prototype implementation confirm the efficiency and effectiveness of our lightweight BFT algorithm, compared to traditional BFT techniques.
INDEX TERMS
Business, Web services, Protocols, Registers, Context, Algorithm design and analysis, Fault tolerance, web services, Business activity, Byzantine fault tolerance, distributed transaction, service-oriented computing, trustworthy computing
CITATION
Hua Chai, Honglei Zhang, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser, "Toward Trustworthy Coordination of Web Services Business Activities", IEEE Transactions on Services Computing, vol.6, no. 2, pp. 276-288, April-June 2013, doi:10.1109/TSC.2011.57
REFERENCES
[1] Apache Axis, http://ws.apache.orgaxis/, 2013.
[2] Apache Kandula, http://ws.apache.orgkandula/, 2013.
[3] Apache WSS4J, http://ws.apache.orgwss4j/, 2013.
[4] C. Attiya, D. Dolev, and J. Gil, "Asynchronous Byzantine Consensus," Proc. ACM Symp. Principles of Distributed Computing, pp. 119-133, 1984.
[5] M. Castro and B. Liskov, "Practical Byzantine Fault Tolerance and Proactive Recovery," ACM Trans. Computer Systems, vol. 20, no. 4, pp. 398-461, Nov. 2002.
[6] A. Clement, M. Kapritsos, S. Lee, Y. Wang, L. Alvisi, M. Dahlin, and T. Riche, "UpRight Cluster Services," Proc. 22nd ACM Symp. Operating Systems Principles, Oct. 2009.
[7] F. Cristian, H. Aghili, R. Strong, and D. Dolev, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement," Information and Computation, vol. 118, no. 1, pp. 158-179, 1995.
[8] D. Davis, A. Karmarkar, G. Pilz, S. Winkler, and U. Yalcinalp, Web Services Reliable Messaging (WS-ReliableMessaging) Version 1.1, OASIS Standard, Jan. 2008.
[9] D. Dolev, "The Byzantine Generals Strike Again," J. Algorithms, vol. 3, no. 1, pp. 14-30, 1982.
[10] D. Dolev, "An Efficient Algorithm for Byzantine Agreement without Authentication," Information and Control, vol. 52, no. 3, pp. 257-274, Mar. 1982.
[11] D. Dolev and H.R. Strong, "Authenticated Algorithms for Byzantine Agreement," SIAM J. Computing, vol. 12, pp. 656-666, 1983.
[12] H. Erven, H. Hicker, C. Huemer, and M. Zapletal, "The Web Services-BusinessActivity-Initiator (WS-BA-I) Protocol: An Extension to the Web Services-BusinessActivity Specification," Proc. IEEE Int'l Conf. Web Services, pp. 216-224, July 2007.
[13] M. Feingold and R. Jeyaraman, Web Services Coordination, Version 1.1, OASIS Standard, July 2007.
[14] T. Freund and M. Little, Web Services Business Activity, Version 1.1, OASIS Standard, Apr. 2007.
[15] H. Garcia-Molina, F. Pittelli, and S. Davidson, "Applications of Byzantine Agreement in Database Systems," ACM Trans. Database Systems, vol. 11, no. 1, pp. 27-47, 1986.
[16] Y. Gil and D. Artz, "A Survey of Trust in Computer Science and the Semantic Web," J. Web Semantics, vol. 5, pp. 58-71, 2007.
[17] T. Grandison and M. Sloman, "A Survey of Trust in Internet Applications," IEEE Comm. Survey Tutorials, vol. 4, no. 4, pp. 2-16, Oct.-Dec. 2000.
[18] K. Iwasa, J. Durand, T. Rutt, M. Peel, S. Kunisetty, and D. Bunting, WS-Reliability 1.1, OASIS Standard, Nov. 2004.
[19] K.P. Kihlstrom, L.E. Moser, and P.M. Melliar-Smith, "The SecureRing Group Communication System," ACM Trans. Information and System Security, vol. 4, no. 4, pp. 371-406, Nov. 2001.
[20] K.P. Kihlstrom, L.E. Moser, and P.M. Melliar-Smith, "Byzantine Fault Detectors for Solving Consensus," Computer J., vol. 46, no. 1, pp. 16-35, 2003.
[21] L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem," ACM Trans. Programming Languages and Systems, vol. 4, no. 3, pp. 382-401, July 1982.
[22] M. Little and A. Wilkinson, Web Services Atomic Transactions, Version 1.1, OASIS Standard, Apr. 2007.
[23] D. Malkhi and M. Reiter, "Secure and Scalable Replication in Phalanx," Proc. IEEE 17th Symp. Reliable Distributed Systems, pp. 51-58, 1998.
[24] M. Merideth, A. Iyengar, T. Mikalsen, S. Tai, I. Rouvellou, and P. Narasimhan, "Thema: Byzantine-Fault-Tolerant Middleware for Web Services Applications," Proc. IEEE 24th Symp. Reliable Distributed Systems, pp. 131-142, Oct. 2005.
[25] C. Mohan, R. Strong, and S. Finkelstein, "Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement within Clusters of Processors," Proc. ACM Symp. Principles of Distributed Computing, pp. 89-103, 1983.
[26] L.E. Moser and P.M. Melliar-Smith, "Byzantine-Resistant Total Ordering Algorithms," J. Information and Computation, vol. 150, pp. 75-111, 1999.
[27] L.E. Moser, P.M. Melliar-Smith, and N. Narasimhan, "The SecureGroup Group Communication System," Proc. IEEE Information Survivability Conf., vol. 2, pp. 256-279, Jan. 2000.
[28] A. Nadalin, C. Kaler, R. Monzillo, and P. Hallam-Baker, Web Services Security: SOAP Message Security 1.1, OASIS Standard, Nov. 2006.
[29] A. Nadalin, M. Goodner, M. Gudgin, A. Barbir, and H. Grangvist, WS-Trust 1.4, OASIS Standard, Feb. 2009.
[30] S.L. Pallemulle, H.D. Thorvaldsson, and K.J. Goldman, "Byzantine Fault-Tolerant Web Services for N-Tier and Service Oriented Architectures," Proc. IEEE 28th Int'l Conf. Distributed Computing Systems, pp. 260-268, June 2008.
[31] M. Reiter, "The Rampart Toolkit for Building High-Integrity Services," Proc. Int'l Conf. Theory and Practice in Distributed Systems, pp. 99-110, 1995.
[32] W. Zhao, "Byzantine Fault Tolerance for Non-Deterministic Applications," Proc. IEEE Int'l Symp. Dependable, Autonomous and Secure Computing, pp. 108-115, Sept. 2007.
[33] W. Zhao, "A Byzantine Fault Tolerant Distributed Commit Protocol," Proc. IEEE Int'l Symp. Dependable, Autonomous and Secure Computing, pp. 37-44, Sept. 2007.
[34] W. Zhao, "BFT-WS: A Byzantine Fault Tolerant Framework for Web Services," Proc. Middleware for Web Services Workshop, Oct. 2007.
[35] W. Zhao and H. Zhang, "Byzantine Fault Tolerant Coordination for Web Services Business Activities," Proc. IEEE Int'l Conf. Services Computing, pp. 407-414, July 2008.
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool