Towards an autonomic element architecture for ASSL

Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007

Volumn , Issue , 2007, Pages

  Vassev, Emil ^a   Paquet, Joey ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS;

AUTONOMIC ELEMENTS; AUTONOMIC SYSTEM SPECIFICATION LANGUAGE (ASSL); GENERIC ARCHITECTURE MODELS; MULTI-TIER ARCHITECTURE;

SOFTWARE ARCHITECTURE;

EID: 36248968055     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAMS.2007.21     Document Type: Conference Paper

References (14)

1. IBM Corporation., "An architectural blueprint for autonomic computing", White Paper, June 2006, 4 Edition.
2. J. O. Kephart, "Research Challenges of Autonomic Computing", In Proceedings of the 27th international conference on Software engineering, p 15-22. St. Louis, MO, USA, 2005.
3. J. O. Kephart and D. M. Chess, "The Vision of Autonomic Computing", IEEE Computer, pp.41-50, 2003.
4. J. A. McCann and M. C Huebscher, "Evaluation issues in Autonomic Computing", In Proceedings of the International Workshop on Agents and Autonomic Computing and Grid Enabled Virtual Organizations (AACGEVO'04), pp.21-24, 2004.
5. P. Horn, "Autonomic computing: IBM's Perspective on the State of Information Technology", Technical report, IBM Corporation, T. J. Watson Laboratory, October 15, 2001.
6. Steve R. White, James E. Hanson, Ian Whalley, David M. Chess, and Jeffrey O. Kephart, "An Architectural Approach to Autonomic Computing", In Proceedings of the International Conference on Autonomic Computing (ICAC04), pp. 2-9, 2004.
7. Gary T. Leavens and Yoonsik Cheon, "Design by Contract with JML", August 16, 2006.
8. Lilian Burdy et al., "An overview of JML tools and applications", International Journal on Software Tools for Technology Transfer, vol. 7, #3, pages 212-232, June 2005.
9. William E. Walsh, Gerald Tesauro, Jeffrey O. Kephart, and Rajarshi Das, "Utility Functions in Autonomic Systems", In Proceedings of First International Conference on Autonomic Computing (ICAC'04), pp. 70-77, 2004.
10. G. Tesauro, D. M. Chess, W. E. Walsh, R. Das, I. Whalley, J. O. Kephart, and S. R. White, "A multi-agent systems approach to autonomic computing", In Proceedings of Autonomous Agents and Multi-Agent Systems, 2004.
11. David B. Johnson and Willy Zwaenepoel, "Recovery in distributed systems using optimistic message logging and check pointing", In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, pages 171- 181. ACM, August 1988.
12. A. Borg et al., "A message system supporting fault tolerance", In Proceedings of 9 ACM Symposium on Operating Systems Principles (Bretton Woods, N.H., Oct. 11 -13). Oper. Syst. Rev., pp. 90-99, Oct. 1983.
13. Gary Palmer (Editor), "A Road Map for Digital Forensic Research", Report from First Digital Forensic Research Workshop (DFRWS), Utica, New York, USA, August 2001.
14. Emil Vassev and Joey Paquet, "ASSL - Autonomic System Specification Language", In Proceedings of the 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31), Baltimore, MD, USA, March 2007.