Dynamic System Reconfiguration Via Service Composition for Dependable Computing

  • W. T. Tsai
  • Weiwei Song
  • Yinong Chen
  • Ray Paul
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4322)


Dependable service-oriented computing is challenging because it faces an open, heterogeneous, and dynamic computing environment. In a service-oriented computing system, services developed by different vendors on different platforms and in different programming languages perform computations collaboratively through open standard protocols. This paper presents an innovative dynamic reconfiguration technology that can be embedded into a service-oriented application to make the application reconfigurable. Traditional reconfiguration algorithm assumes each component can independently switch without collaboration. The proposed reconfiguration agents are embedded in different services, and they communicate via a collaborative reconfiguration protocol to achieve a consistent reconfiguration decision. In addition, the reconfiguration protocol itself is fault-tolerant.


Service-oriented architecture self-reconfiguration dynamic composition and fault tolerance. 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, Springer, Heidelberg (1998)CrossRefGoogle Scholar
  2. 2.
    Arsanjani, A.: Service-Oriented Modeling and Architecture: How to Identify, Specify, and Realize Services for Your SOA. Whitepaper from IBM (Nov. 2004), available at http://www-128.ibm.com/developerworks/webservices/library/ws-soa-design1/
  3. 3.
    Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)CrossRefGoogle Scholar
  4. 4.
    Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A Survey of Self-Management in Dynamic Architecture Specifications. In: Proc. of International Workshop on Self-Management Systems (2004)Google Scholar
  5. 5.
    Brown, G., Carpenter, R.: Successful Application of Service-Oriented Architecture across the Enterprise and Beyond. Intel Technology Journal (Nov. 2004), Available at http://www.intel.com/technology/itj/2004/volume08issue04/art09_successful/p07_references.htm
  6. 6.
    Carmeli, B., et al.: High throughput reliable message dissemination. In: Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 322–327. ACM Press, New York (2004)CrossRefGoogle Scholar
  7. 7.
    Chandra, T., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM 43(2), 245–267 (1996)CrossRefMathSciNetGoogle Scholar
  8. 8.
    Cervantes, H., Hall, R.S.: Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. In: 26th ICSE, pp. 614–623 (2004)Google Scholar
  9. 9.
    Chen, Y., Tsai, W.T.: Introduction to programming languages: Programming in C, C++, Scheme, Prolog, C#, and SOA, 2nd edn. Kendall/Hunt Publishing Company, Dubuque (2006)Google Scholar
  10. 10.
    Dowling, J., Cahill, V.: Dynamic Software Evolution and the K-Component Model. In: Proc. of Workshop on Software Evolution, OOPSLA (2001)Google Scholar
  11. 11.
    Erl, T.: Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services. Prentice Hall PTR, New York (2004)Google Scholar
  12. 12.
    Foster, I., Kesselman, C., Nick, J.M., Tuecke, S.: The Physiology of Grid: An Open Grid Services Architecture for Distributed Systems Integration (Feb.17, 2002), http://www.globus.org/ogsa/
  13. 13.
    Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47–68. Cambridge University Press, Cambridge (2000)Google Scholar
  14. 14.
    Fischer, M.: The Consensus Problem in Unreliable Distributed Systems. In: Karpinski, M. (ed.) Foundations of Computation Theory. LNCS, vol. 158, pp. 127–140. Springer, Heidelberg (1983)Google Scholar
  15. 15.
    High, R., Kinder, S., Graham, S.: IBM SOA Foundation: An Architectural Introduction and Overview, Version 1.0 (2005)Google Scholar
  16. 16.
    Hillman, J., Warren, I.: An Open Framework for Dynamic Reconfiguration. In: 26th ICSE, vol. 00, pp. 594–603 (2004)Google Scholar
  17. 17.
    Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)Google Scholar
  18. 18.
    Krafzig, D., Banke, K., Slama, D.: Enterprise SOA: Service-Oriented Architecture Best Practices. Prentice Hall, PTR, New York (2005)Google Scholar
  19. 19.
    Lamport, L., Shostak, R.E., Pease, M.: The Byzantine Generals Problem. ACM Transactions on Programing Languages and Systems 4(3), 382–401 (1982)MATHCrossRefGoogle Scholar
  20. 20.
    Luckham, D.C.: Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering 21(4), 336–355 (1995)CrossRefGoogle Scholar
  21. 21.
    Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)Google Scholar
  22. 22.
    Mei, H., Huang, G., Tsai, W.: Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware. In: 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Sedona, February 2005, pp. 337–344. IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  23. 23.
    Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems 14(3), 54–62 (1999)CrossRefGoogle Scholar
  24. 24.
    Randell, B., Lhotka, R.: Bridge the Gap between Development and Operations with Whitehorse. MSDN magazine (July 2005), http://msdn.microsoft.com/msdnmag/issues/04/07/whitehorse/default.aspx
  25. 25.
    Simmons, S.: Introducing the WebSphere Integration Reference Architecture: A Service-based Foundation for Enterprise-Level Business Integration. IBM WebSphere Developer Technical Journal, Aug. 17 (2005), http://www-128.ibm.com/developerworks/websphere/techjournal/0508_simmons/0508_simmons.html
  26. 26.
    Tsai, W.T., Paul, R., Xiao, B., Cao, Z., Chen, Y.: PSML-S: A Process Specification and Modeling Language for Service Oriented Computing. In: 9th IASTED, pp. 160–167 (2005)Google Scholar
  27. 27.
    Tsai, W.T., Song, W., Paul, R., Cao, Z., Huang, H.: Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. In: COMPSAC 2004, pp. 554–559 (2004)Google Scholar
  28. 28.
    Tsai, W.T., Liu, X., Chen, Y., Paul, R.: Simulation Verification and Validation by Dynamic Policy Enforcement. In: Proc. of Annual Simulation Symposium, pp. 91–98 (2005)Google Scholar
  29. 29.
    Tsai, W.T.: Service-Oriented System Engineering: A New Paradigm. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), October 2005, pp. 3–8. IEEE Computer Society Press, Los Alamitos (2005)CrossRefGoogle Scholar
  30. 30.
    Tsai, W.T., Fan, C., Chen, Y., Paul, R., Chung, J.Y.: Architecture Classification for SOA-based Applications. In: Proc. of IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 295–302. IEEE Computer Society Press, Los Alamitos (2006)CrossRefGoogle Scholar
  31. 31.
    OASIS UDDI Standard: http://www.uddi.org/
  32. 32.
    IBM Developers Works: New to SOA and Web services. Available at: http://www-128.ibm.com/developerworks/webservices/newto/
  33. 33.
    SAP NetWeaver product introduction. Available at: http://www.sap.com/solutions/netweaver/index.epx

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • W. T. Tsai
    • 1
  • Weiwei Song
    • 1
  • Yinong Chen
    • 1
  • Ray Paul
    • 2
  1. 1.Department of Computer Science and Engineering, Arizona State University, Tempe AZ, 85287USA
  2. 2.Department of Defense, Washington DC 

Personalised recommendations