Abstract
Software complexity is the main obstacle to further progress in the IT industry. One solution is the autonomic system with self-* properties. Formal methods are proven approaches to ensuring the correct operation of complex interacting systems. However, the current formal methods do not adequately address the problem of verifying two of the most important features of auto-nomic systems, namely emergent behavior and evolving behavior. Category Theory (CT) has recently been proposed as a formal framework to provide a structure for isolating the management of evolving specifications and the analysis of changes. We propose a formal framework based on CT in this paper to specify reactive autonomic systems. Our approach is illustrated with a NASA case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IBM Corporation, An Architectural Blueprint for Autonomic Computing, White Paper, 4th edn (June 2006)
Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer 36(1), 41–50 (2003)
Lin, P., MacArthur, A., Leaney, J.: Defining Autonomic Computing: A Software Engineering Perspective. In: Proceedings of the 16th Australian Software Engineering Conference, Brisbane, Australia, March 2005, pp. 88–97 (2005)
Horn, P.: Autonomic Computing: IBM Perspective on the State of Information Technology. Presented at AGENDA 2001, October 2001, IBM T. J. Watson Labs (2001)
Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)
Clark, P.E., Rilee, M.L., Truszkowski, W., Marr, G., Curtis, S.A., Cheung, C.Y., Rudisill, M.: PAM: Biologically Inspired Engineering and Exploration Mission Concept, Components, and Requirements for Asteroid Population Survey. In: Proceedings of the 55th International Astronautical Congress, Vancouver, Canada (October 2004) IAC-04-Q5.07
Truszkowski, W.F., Hinchey, M.G., Rash, J.L., Rouff, C.A.: Autonomous and Autonomic Systems: a Paradigm for Future Space Exploration Missions. IEEE Transaction on Systems, Man, and Cybernetics, Part C: Applications and Reviews 36(3), 279–291 (2006)
Curtis, S., Mica, J., Nuth, J., Marr, G., Rilee, M., Bhat, M.: ANTS (Autonomous Nano Technology Swarm): an Artificial Intelligence Approach to Asteroid Belt Resource Exploration. Proceedings of the 51st International Astronautical Congress (October 2000) IAA-00-IAA.Q.5.08
Wiels, V., Easterbrook, S.: Management of Evolving Specifications Using Category Theory. In: Proceedings of the 13th IEEE International Conference on Automated Software Engineering, October 1998, pp. 12–21 (1998)
Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for the Software Architect. In: Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany, March 1996, pp. 46–55 (1996)
Awodey, S.: Category Theory. Oxford University Press, USA (2006)
Lee, W.M.: Modelling and Specification of Autonomous Systems using Category Theory. PhD Thesis, University College of London, London, UK (October 1989)
Vassev, E., Hinchey, M., Paquet, J.: A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL. In: Proceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, Belfast, Northern Ireland, March 2008, pp. 54–64 (2008)
Hinchey, M.G., Rouff, C.A., Rash, J.L., Truszkowski, W.F.: Requirements of an Integrated Formal Method for Intelligent Swarms. In: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, September 2005, pp. 125–133 (2005)
Tesauro, G., Chess, D.M., Walsh, W.E., Das, R., Segal, A., Whalley, I., Kephart, J.O., White, S.R.: A Multi-Agent Systems Approach to Autonomic Computing. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, USA, July 2004, pp. 464–471 (2004)
Kuang, H., Ormandjieva, O.: Self-Monitoring of Non-Functional Requirements in Reactive Autonomic System Framework: A Multi-Agent Systems Approach. In: Proceedings of the 3rd International Multi-Conference on Computing in the Global Information Technology, Athens, Greece, July 2008, pp. 186–192 (2008)
Pfalzgraf, J.: On an Idea for Constructing Multiagent Systems (MAS) Scenarios. In: Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice, IIAS, Tecumseh, ON, Canada, vol. 1 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kuang, H., Ormandjieva, O., Klasa, S., Khurshid, N., Benthar, J. (2009). Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. In: Lee, R., Ishii, N. (eds) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence, vol 253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05441-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-05441-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05440-2
Online ISBN: 978-3-642-05441-9
eBook Packages: EngineeringEngineering (R0)