{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:57:38Z","timestamp":1725541058412},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642054402"},{"type":"electronic","value":"9783642054419"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05441-9_11","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T01:06:55Z","timestamp":1259024815000},"page":"119-134","source":"Crossref","is-referenced-by-count":4,"title":["Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study"],"prefix":"10.1007","author":[{"given":"Heng","family":"Kuang","sequence":"first","affiliation":[]},{"given":"Olga","family":"Ormandjieva","sequence":"additional","affiliation":[]},{"given":"Stan","family":"Klasa","sequence":"additional","affiliation":[]},{"given":"Noorulain","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Jamal","family":"Benthar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"IBM Corporation, An Architectural Blueprint for Autonomic Computing, White Paper, 4th edn (June 2006)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"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\u201397 (2005)","DOI":"10.1109\/ASWEC.2005.19"},{"key":"11_CR4","unstructured":"Horn, P.: Autonomic Computing: IBM Perspective on the State of Information Technology. Presented at AGENDA 2001, October 2001, IBM T. J. Watson Labs (2001)"},{"key":"11_CR5","volume-title":"Categories for Software Engineering","author":"J. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"11_CR6","unstructured":"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"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSMCC.2006.871600","volume":"36","author":"W.F. Truszkowski","year":"2006","unstructured":"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\u00a036(3), 279\u2013291 (2006)","journal-title":"IEEE Transaction on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"11_CR8","unstructured":"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"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"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\u201321 (1998)","DOI":"10.1109\/ASE.1998.732561"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"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\u201355 (1996)","DOI":"10.1109\/IWSSD.1996.501146"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory","author":"S. Awodey","year":"2006","unstructured":"Awodey, S.: Category Theory. Oxford University Press, USA (2006)"},{"key":"11_CR12","unstructured":"Lee, W.M.: Modelling and Specification of Autonomous Systems using Category Theory. PhD Thesis, University College of London, London, UK (October 1989)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"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\u201364 (2008)","DOI":"10.1109\/EASe.2008.14"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013133 (2005)","DOI":"10.1145\/1081180.1081196"},{"key":"11_CR15","unstructured":"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\u2013471 (2004)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013192 (2008)","DOI":"10.1109\/ICCGI.2008.43"},{"key":"11_CR17","unstructured":"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.\u00a01 (2006)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05441-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:32:25Z","timestamp":1619782345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05441-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642054402","9783642054419"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05441-9_11","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}