Model-based development of dynamically adaptive software

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 371-380

  Zhang, Ji ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

Autonomic computing; Dynamic adaptation; Formal specification; Global invariants; Reliability; Verification

Indexed keywords

ADAPTIVE SYSTEMS; COMMUNICATION SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS);

AUTONOMIC COMPUTING; DYNAMIC ADAPTATION; FORMAL SPECIFICATION; GLOBAL INVARIANTS;

COMPUTER SOFTWARE;

EID: 34247136847     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134337     Document Type: Conference Paper

References (38)

1. P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng, "Composing adaptive software," IEEE Computer, vol. 37, no. 7, pp. 56-64, 2004.
2. J. Bradbury, J. Cordy, J. Dingel, and M. Wermelinger, "A survey of self management in dynamic software architecture specifications," in Proc. of the A CM SIGSOFT International Workshop on Self-Managed Systems (WOSS'04), (Newport Beach, California), pp. 28-33, October/November 2004.
3. D. L. Métayer, "Software architecture styles as graph grammars," in Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 15-23, ACM Press, 1996.
4. G. Taentzer, M. Goedicke, and T. Meyer, "Dynamic change management by distributed graph transformation: Towards configurable distributed systems," in Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, pp. 179-193, Springer-Verlag, 2000.
5. D. Hirsch, P. Inverardi, and U. Montanari, "Graph grammars and constraint solving for software architecture styles," in Proceedings of the third international workshop on Software architecture, pp. 69-72, ACM Press, 1998.
6. P. Oreizy, N. Medvidovic, and R. N. Taylor, "Architecture-based runtime software evolution," in Proceedings of the 20th international conference on Software engineering, pp. 177-186, IEEE Computer Society, 1998.
7. R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, Jr., and J. E. Robbins, "A component- and message-based architectural style for GUI software," in Proceedings of the 17th international conference on Software engineering, pp. 295-304, ACM Press, 1995.
8. J. Kramer, J. Magee, and M. Sloman, "Configuring distributed systems," in Proceedings of the 5th workshop on ACM SIGOPS European workshop, pp. 1-5, ACM Press, 1992.
9. R. Allen, R. Douence, and D. Garlan, "Specifying and analyzing dynamic software architectures," in Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), (Lisbon, Portugal), March 1998.
10. J. Kramer and J. Magee, "Analysing dynamic change in software architectures: a case study," in Proc. of 4th IEEE international conference on configurable distributed systems, (Annapolis), May 1998.
11. C. Canal, E. Pimentel, and J. M. Troya, "Specification and refinement of dynamic software architectures," in Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), pp. 107-126, Kluwer, B.V., 1999.
12. Z. Zhou, P. K. McKinley, and S. M. Sadjadi, "On quality-of-service and energy consumption tradeoffs in fec-encoded wireless audio streaming," in Proceedings of the 12th IEEE International Workshop on Quality of Service (IWQoS 2004), (Montreal, Canada), June 2004. best paper award.
13. C. A. Petri, Kommunikation mit A utomaten. PhD thesis, Sehriften des Institutes fiir instrumentelle Mathematik, Bonn, Germany, 1962.
14. J. L. Peterson, "Petri nets," ACM Comput. Surv., vol. 9, no. 3, pp. 223-252, 1977.
15. M. Mäkelä, "Maria: Modular reachability analyser for algebraic system nets," in ICATPN '02: Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets, (London, UK), pp. 434-444, Springer-Verlag, 2002.
16. O. Kummer and F. Wienberg, "Renew - the reference net workshop," in In Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, (Aarhus, Denmark), pp. 28-30, 2000.
17. J.-C. Bolot and A. Vega-Garcia, "Control mechanisms for packet audio in the internet," in Proceedings of IEEE INFO-COM96, (San Francisco, California)', pp. 232-239, 1996.
18. O. Lichtenstein and A. Pnueli, "Checking that finite state concurrent programs satisfy their linear specification," in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 97-107, ACM Press, 1985.
19. D. M. Berry, B. H. Cheng, and J. Zhang, "The four levels of requirements engineering for and in dynamic adaptive systems," in Proc. of 11th International Workshop on Requirements Engineering: Foundation for Software Quality, (Porto, Portugal), June 2005.
20. J. Zhang and B. H. Cheng, "Specifying adaptation semantics," in Proceedings of ICSE 2005 Workshop on Architecting Dependable Systems, (St. Louis, Missouri), May 2005.
21. A. Lapouchnian, S. Liaskos, J. Mylopoulos, and Y. Yu, "Towards requirements-driven autonomic systems design," in Proceedings of ICSE 2005 Workshop on Design and Evolution of Autonomic Application Software, (St. Louis, Missouri), May 2005.
22. A. van Lamsweerde, "Goal-oriented requirements engineering: A guided tour," in Proceedings of the 5th IEEE International Symposium on Requirements Engineering, p. 249, IEEE Computer Society, 2001.
23. M. B. Dwyer and C. S. Pasareanu, "Filter-based model checking of partial systems," in SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 189-202, ACM Press, 1998.
24. J. Zhang and B. H. Cheng, "Model-based development of dynamically adaptive software," Tech. Rep. MSU-CSE-05-24, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, September 2005.
25. H. Bowman and S. J. Thompson, "A tableaux method for Interval Temporal Logic with projection," in TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, no. 1397 in Lecture Notes in AI, pp. 108-123, Springer-Verlag, May 1998.
26. A. Pretschner, "Model-based testing," in ICSE '05: Proceedings of the 27th international conference on Software engineering, (New York, NY, USA), pp. 722-723, ACM Press, 2005.
27. B. Potter, J. Sinclair, and D. Till, An introduction to Formal Specification and Z. Prentice Hall International (UK) Ltd, 1991.
28. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language reference manual. Addison-Wesley, 1999.
29. C. A. R. Hoare, Communicating sequential processes. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1985.
30. "RAPIDware." http://www.cse.msu.edu/rapidware/.
31. J. Zhang, Z. Yang, B. H. Cheng, and P. K. McKinley, "Adding safeness to dynamic adaptation techniques," in Proceedings of ICSE 2004 Workshop on Architecting Dependable Systems, (Edinburgh, Scotland, UK), May 2004.
32. S. S. Kulkarni, K. N. Biyani, and U. Arumugam, "Composing distributed fault-tolerance components," in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Supplemental Volume, Workshop on Principles of Dependable Systems, pp. W127-W136, June 2003.
33. S. Kulkarni and K. Biyani, "Correctness of component-based adaptation," in Proceedings of International Symposium on Component-based Software Engineering, May 2004.
34. W.-K. Chen, M. A. Hiltunen, and R. D. Schlichting, "Constructing adaptive software in distributed systems," in Proc. of the 21st International Conference on Distributed Computing Systems, (Mesa, AZ), April 16-19 2001.
35. J. Appavoo, K. Hui, C. A. N. Soules, et al., "Enabling autonomic behavior in systems software with hot swapping," IBM System Journal, vol. 42, no. 1, p. 60, 2003.
36. S. Krishnamurthi, K. Fisler, and M. Greenberg, "Verifying aspect advice modularly," in SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (New York, NY, USA), pp. 137-146, ACM Press, 2004.
37. T. A. Henzinger, R. Jhala, R. Majumdar, and M. A. Sanvido, "Extreme model checking," Verification: Theory and Practice, Lecture Notes in Computer Science 2772, Springer-Verlag, pp. 332-358, 2004.
38. M. Mäkelä, "Model checking safety properties in modular high-level nets," in Application and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003 (volume 2679 of Lecture Notes in Computer Science), (Eindhoven, The Netherlands), pp. 201-220, Springer-Verlag, June 2003.