Towards formal specification and generation of autonomic policies

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

Volumn 3823 LNCS, Issue , 2005, Pages 1245-1254

  Sterritt, Roy ^a   Hinchey, Michael G ^b   Rash, James L ^b   Truszkowski, Walt ^b   Rouff, Christopher A ^c   Gracanin, Denis ^d  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

^c SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^d State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; METHOD OF MOMENTS; MOTIVATION; RELIABILITY; SELF ADJUSTING CONTROL SYSTEMS; THEOREM PROVING; COMPLEX NETWORKS; EMBEDDED SYSTEMS; FORMAL SPECIFICATION; INTELLIGENT BUILDINGS; NASA; RADIO FREQUENCY IDENTIFICATION (RFID); SENSOR NETWORKS;

APPROPRIATE GRAPHICAL NOTATIONS; AUTONOMIC COMPUTING (AC); CODE GENERATION; MOMENTUM;

AUTONOMOUS AGENTS; UBIQUITOUS COMPUTING;

AUTONOMIC COMPUTING; CODE GENERATION; GAINING MOMENTUM; GRAPHICAL NOTATION; NATURAL LANGUAGES; RELIABLE SYSTEMS; REQUIREMENTS-BASED PROGRAMMING; SELF MANAGEMENT;

EID: 33744906781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596042_126     Document Type: Conference Paper

References (23)

1. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
2. O. Babaoglu, A. Couch, G. Ganger, P. Stone, M. Yousif, and J. Kephart. Panel: Grand challenges of autonomic computing. In Proceedings of the 2nd IEEE International Conference on Autonomic Computing (ICAC-05), Seattle, WA, June 2005.
3. F. L. Bauer. A trend for the next ten years of software engineering. In H. Freeman and P. M. Lewis, editors, Software Engineering, pages 1-23. Academic Press, 1980.
4. M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999.
5. A. G. Ganek. Autonomic computing: implementing the vision. Keynote presentation, Autonomic Computing Workshop, AMS 2003, 25 June 2003.
6. D. Harel. On visual formalisms. Communications of the ACM, 31(5): 514-530, May 1988.
7. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
8. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Requirements to design to code: Towards a fully formal approach to automatic code generation. Technical Report TM-2005-212774, NASA Goddard Space Flight Center, Greenbelt, MD, USA, 2004.
9. M. G. Hinchey, J. L. Rash, W. F. Truszkowski, C. A. Rouff, and R. Sterritt. You can't get there from here! Problems and potential solutions in developing new classes of complex systems. In Proc. Eighth International Conference on Integrated Design and Process Technology (IDPT), Beijing, China, 13-17 June 2005. The Society for Design and Process Science.
10. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
12. P. Horn. Autonomic computing: IBM's perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory, October 15, 2001.
13. D. Kaminsky. An introduction to policy for autonomic computing, white paper, March 2005.
14. M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
15. J. O. Kephart and W. E. Walsh. An artificial intelligence perspective on autonomic computing policies. In Proc. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04), pages 3-12, 7-9 June 2004.
16. L. Lymberopoulos, E. Lupu, and M. Sloman. An adaptive policy-based framework for network services management. Journal of Network and Systems Management, 11(3), 2003.
17. M. J. Masullo and S. B. Calo. Policy management: An architecture and approach. In Proc. IEEE First International Workshop on Systems Management, Los Angeles, California, USA, 14-16 April 1993.
18. A. Meissner, S. B. Musunoori, and L. Wolf. MGMS/GML - towards a new policy specification framework for multicast group integrity. In Proc. 2004 International Symposium on Applications and the Internet (SAINT2004), Tokyo, Japan, 2004.
19. J. L. Rash, M. G. Hinchey, C. A. Rouff, and D. Gračanin. Formal requirements-based programming for complex systems. In Proc. International Conference on Engineering of Complex Computer Systems, Shanghai, China, 16-20 June 2005. IEEE Computer Society Press, Los Alamitos, Calif.
20. J. L. Rash, M. G. Hinchey, C. A. Rouff, D. Gračanin, and J. D. Erickson. A tool for requirements-based programming. In Proc. International Conference on Integrated Design and Process Technology (IDPT2005), Beijing, China, 13-17 June 2005. The Society for Design and Process Science.
21. R. Sterritt. Towards autonomic computing: Effective event management. In Proc. 27th Annual IEEE/NASA Software Engineering Workshop (SEW), pages 40-47, Greenbelt, Maryland, USA, 3-5 December 2002. IEEE Computer Society Press, Los Alamitos, Calif.
22. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).
23. W. F. Truszkowski, J. L. Rash, C. A. Rouff, and M. G. Hinchey. Some autonomic properties of two legacy multi-agent systems -LOGOS and ACT. In Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pages 490-498, Brno, Czech Republic, May 2004. IEEE Computer Society Press, Los Alamitos, Calif.