Towards specifying reactive autonomic systems with a categorical approach: A case study

Studies in Computational Intelligence

Volumn 253, Issue , 2009, Pages 119-134

  Kuang, Heng ^a   Ormandjieva, Olga ^a   Klasa, Stan ^a   Khurshid, Noorulain ^a   Benthar, Jamal ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Autonomic system; Category Theory; Formal method; Reactive system; Software engineering

Indexed keywords

EID: 74049093501     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-05441-9_11     Document Type: Conference Paper

References (17)

1. IBM Corporation, An Architectural Blueprint for Autonomic Computing, White Paper, 4th edn (June 2006)
2. Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer 36(1), 41-50 (2003)
3. 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)
4. Horn, P.: Autonomic Computing: IBM Perspective on the State of Information Technology. Presented at AGENDA 2001, October 2001, IBM T. J. Watson Labs (2001)
5. Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)
6. 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
7. 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)
8. 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
9. 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)
10. 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)
11. Awodey, S.: Category Theory. Oxford University Press, USA (2006)
12. Lee, W.M.: Modelling and Specification of Autonomous Systems using Category Theory. PhD Thesis, University College of London, London, UK (October 1989)
13. 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)
14. 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)
15. 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)
16. 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)
17. 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)