Correctness of component-based adaptation

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

Volumn 3054, Issue , 2004, Pages 48-58

  Kulkarni, Sandeep S ^a   Biyani, Karun N ^a  

^a Michigan State University   (United States)

Author keywords

Correctness; Dynamic Adaptation; Verification

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS; VERIFICATION;

CHANGING ENVIRONMENT; CORRECTNESS; DISTRIBUTED APPLICATIONS; DYNAMIC ADAPTATIONS; LONG-RUNNING APPLICATIONS; MESSAGE COMMUNICATION; MULTIPLE PROCESS; SYSTEMATIC METHOD;

SOFTWARE ENGINEERING;

EID: 35048844182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24774-6_6     Document Type: Article

References (11)

1. W. K. Chen, M. Hiltunen, and R. Schlichting. Constructing adaptive software in distributed systems. In 21st International Conference on Distributed Computing Systems, pages 635-643, April 2001.
2. P. McKinley and U. Padmanabhan. Design of composable proxy filters for mobile computing. In Workshop on Wireless Networks and Mobile Computing, 2001.
3. J. Hallstrom, W. Leal, and A. Arora. Scalable evolution of highly available systems. Transactions of the Institute for Electronics, Information and Communication Engineers, To appear.
4. B. Redmond and V. Cahill. Supporting unanticipated dynamic adaptation of application. In ECOOP, 2002.
5. Susan Owicki and Leslie Lamport. Proving liveness properties of concurrent programs. In ACM Transactions on Programming Languages and Systems, volume 4, pages 455-495, July 1982.
6. Sandeep S. Kulkarni, Karun N. Biyani, and Umamaheswaran Arumugam. Composing distributed fault-tolerance components. In Workshop on Principles of Dependable Systems, DSN, June 2003.
7. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21:181-185, October 1985.
8. A. Arora and S. S. Kulkarni. Component based design of multitolerant systems. IEEE transactions on Software Engineering, 24(1):63-78, January 1998.
9. Sandeep Kulkarni and Karun Biyani. Correctness of dynamic adaptation. Technical report, Department of Computer Science, Michigan State University, January 2004.
10. M. G. Gouda and T. Herman. Adaptive programming. IEEE Transactions on Software Engineering, 17:911-921, 1991.
11. B. Cheng, Z. Yang, and J. Zhang. Enabling safe dynamic adaptation. Technical report, Department of Computer Science, Michigan State University, May 2003.