Abstract
Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gaining momentum as the way forward in designing reliable systems to hide complexity and conquer IT management costs. Effectively, AC may be viewed as Policy-Based Self-Management. In this paper we look at the motivation for utilizing NASA requirements-based programming technologies for mechanically transforming policies (expressed in restricted natural language, or appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations, with the goal of self-generation of provable autonomic policies.
Chapter PDF
Similar content being viewed by others
Keywords
- Autonomic System
- Autonomic Computing
- NASA Goddard Space
- Goddard Space Flight Center
- Automatic Code Generation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd. (1999)
Babaoglu, O., Couch, A., Ganger, G., Stone, P., Yousif, M., Kephart, J.: Panel: Grand challenges of autonomic computing. In: Proceedings of the 2nd IEEE International Conference on Autonomic Computing (ICAC 2005), Seattle, WA (June 2005)
Bauer, F.L.: A trend for the next ten years of software engineering. In: Freeman, H., Lewis, P.M. (eds.) Software Engineering, pp. 1–23. Academic Press, London (1980)
Butler, M.J.: 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)
Ganek, A.G.: Autonomic computing: implementing the vision. In: Keynote presentation, Autonomic Computing Workshop, AMS 2003, June 25 (2003)
Harel, D.: On visual formalisms. Communications of the ACM 31(5), 514–530 (1988)
Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. In: International Series in Software Engineering. McGraw-Hill International, London (1995)
Hinchey, M.G., Rash, J.L., Rouff, C.A.: 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)
Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Sterritt, R.: 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, June 13–17, The Society for Design and Process Science (2005)
Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)
Hoare, C.A.R.: Communicating Sequential Processes. In: Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs (1985)
Horn, P.: Autonomic computing: IBM’s perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory, October 15 (2001)
Kaminsky, D.: An introduction to policy for autonomic computing. white paper (March 2005)
Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston (2000)
Kephart, J.O., Walsh, W.E.: An artificial intelligence perspective on autonomic computing policies. In: Proc. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), June 7-9, pp. 3–12 (2004)
Lymberopoulos, L., Lupu, E., Sloman, M.: An adaptive policy-based framework for network services management. Journal of Network and Systems Management 11(3) (2003)
Masullo, M.J., Calo, S.B.: Policy management: An architecture and approach. In: Proc. IEEE First International Workshop on Systems Management, Los Angeles, California, USA, April 14–16 (1993)
Meissner, A., Musunoori, S.B., Wolf, L.: MGMS/GML—towards a new policy specification framework for multicast group integrity. In: Proc. 2004 International Symposium on Applications and the Internet (SAINT 2004), Tokyo, Japan (2004)
Rash, J.L., Hinchey, M.G., Rouff, C.A., Gračanin, D.: Formal requirements-based programming for complex systems. In: Proc. International Conference on Engineering of Complex Computer Systems, Shanghai, China. IEEE Computer Society, Los Alamitos (2005)
Rash, J.L., Hinchey, M.G., Rouff, C.A., Gračanin, D., Erickson, J.D.: A tool for requirements-based programming. In: Proc. International Conference on Integrated Design and Process Technology (IDPT 2005), Beijing, China, June 13–17, The Society for Design and Process Science (2005)
Sterritt, R.: Towards autonomic computing: Effective event management. In: Proc. 27th Annual IEEE/NASA Software Engineering Workshop (SEW), Greenbelt, Maryland, USA, pp. 40–47. IEEE Computer Society Press, Los Alamitos (2002)
Truszkowski, W.F., Hinchey, M.G., Rash, J.L., Rouff, C.A.: Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C (2006) (to appear)
Truszkowski, W.F., Rash, J.L., Rouff, C.A., Hinchey, M.G.: 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), Brno, Czech Republic, pp. 490–498. IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sterritt, R., Hinchey, M.G., Rash, J.L., Truszkowski, W., Rouff, C.A., Gracanin, D. (2005). Towards Formal Specification and Generation of Autonomic Policies. In: Enokido, T., Yan, L., Xiao, B., Kim, D., Dai, Y., Yang, L.T. (eds) Embedded and Ubiquitous Computing – EUC 2005 Workshops. EUC 2005. Lecture Notes in Computer Science, vol 3823. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596042_126
Download citation
DOI: https://doi.org/10.1007/11596042_126
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30803-4
Online ISBN: 978-3-540-32296-2
eBook Packages: Computer ScienceComputer Science (R0)