Dynamic system reconfiguration via service composition for dependable computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4322 LNCS, Issue , 2007, Pages 203-224

  Tsai, W T ^a   Song, Weiwei ^a   Chen, Yinong ^a   Paul, Ray ^b  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Dynamic composition; Fault tolerance; Self reconfiguration; Service oriented architecture

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FAULT TOLERANCE; INFORMATION SERVICES; NETWORK PROTOCOLS;

DYNAMIC COMPOSITION; SELF-RECONFIGURATION; SERVICE-ORIENTED ARCHITECTURE;

DYNAMIC PROGRAMMING;

EID: 34548090018     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71156-8_11     Document Type: Conference Paper

References (33)

1. R. Allen, R. Douence, and D. Garlan, "Specifying and Analyzing Dynamic Software Architectures", Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98) Lisbon, Portugal, March 1998.
2. A. Arsanjani, "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. A. Avizienis, J. C. Laprie, B. Randell and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, 2004, pp 11-33.
4. J. Bradbury, J. Cordy, J. Dingel, and M. Wermelinger, "A Survey of Self-Management in Dynamic Architecture Specifications", Proc. of International Workshop on Self-Management Systems, 2004
5. G. Brown and R. Carpenter, "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. B. Carmeli, etc. "High throughput reliable message dissemination", Proceedings of the 2004 ACM Symposium on Applied Computing, 2004, pp. 322-327.
7. T. Chandra, and S. Toueg. "Unreliable Failure Detectors for Reliable Distributed Systems," Journal of the ACM, 43(2), Mar., 1996, pp. 245-267.
8. H. Cervantes and R.S. Hall: "Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model," ICSE 26th, 2004, pp. 614-623.
9. Y. Chen, W.T. Tsai, Introduction to programming languages: Programming in C, C++, Scheme, Prolog, C#, and SOA, second edition, Kendall/Hunt Publishing Company, 2006.
10. J. Dowling and V. Cahill, "Dynamic Software Evolution and the K-Component Model", Proc. of Workshop on Software Evolution, OOPSLA, 2001
11. T. Erl, Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services, New York: Prentice Hall PTR, 2004.
12. I. Foster, C. Kesselman, J. M. Nick and S. Tuecke, "The Physiology of Grid: An Open Grid Services Architecture for Distributed Systems Integration", Feb. 17 2002, http://www.globus.org/ogsa/.
13. D. Garlan, R. T. Monroe, and D. Wile, "Acme: Architectural Description of Component-Based Systems". Foundations of Component-Based Systems. G.T. Leavens, and M. Sitaraman (eds). Cambridge University Press, 2000 pp. 47-68.
14. M. Fischer, "The Consensus Problem in Unreliable Distributed Systems", Foundations of Computation Theory, volume 158 of Lecture Notes in Computer Science, 1983, pp. 127-140.
15. R. High, S. Kinder and S. Graham, "IBM SOA Foundation: An Architectural Introduction and Overview, Version 1.0", 2005
16. J. Hillman and I. Warren,"An Open Framework for Dynamic Reconfiguration", ICSE 26th 2004, Vol. 00, pp. 594-603.
17. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley Professional, 2003.
18. D. Krafzig, K. Banke and D. Slama, Enterprise SOA: Service-Oriented Architecture Best Practices, New York:vPrentice Hall, PTR, 2005.
19. L. Lamport, R. E. Shostak and M. Pease, "The Byzantine Generals Problem", ACM Transactions on Programing Languages and Systems, 4(3), July, 1982, pp. 382-401.
20. D. C. Luckham, "Specification and Analysis of System Architecture Using Rapide", IEEE Transactions on Software Engineering 21 (4), 1995, pp. 336-355.
21. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, "Specifying Distributed Software Architectures", Proc. the 5th European Software Engineering Conference (ESEC '95), September 1995 pp. 137-153.
22. H. Mei, G. Huang and W. Tsai, "Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware," 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Sedona, February 2005, 337 - 344.
23. P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf. "An Architecture-Based Approach to Self-Adaptive Software", IEEE Intelligent Systems, Vol. 14, No. 3, May/June 1999, pp. 54-62.
24. B. Randell and R. Lhotka, "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. S. Simmons, "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. W.T. Tsai, R. Paul, B. Xiao, Z. Cao and Y. Chen, "PSML-S: A Process Specification and Modeling Language for Service Oriented Computing", IASTED 9th, 2005, pp. 160-167
27. W. T. Tsai, W. Song, R. Paul, Z. Cao, and H. Huang, "Services- Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing", COMPSAC 2004, pp. 554-559.
28. W. T. Tsai, X. Liu, Y. Chen, and R. Paul, "Simulation Verification and Validation by Dynamic Policy Enforcement", Proc. of Annual Simulation Symposium, 2005, pp. 91-98.
29. W. T. Tsai, "Service-Oriented System Engineering: A New Paradigm," IEEE International Workshop on Service-Oriented System Engineering (SOSE), October 2005, pp. 3 - 8.
30. W. T. Tsai, C. Fan, Y. Chen, R. Paul, and J. Y. Chung, "Architecture Classification for SOA-based Applications", Proc. of IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2006, pp. 295-302.
31. OASIS UDDI Standard: http://www.uddi.org/
32. IBM Developers Works, "New to SOA and Web services", available at: http://www-128.ibm.com/developerworks/webservices/newto/.
33. SAP NetWeaver product introduction, available at: http://www.sap.com/ solutions/netweaver/index.epx.