{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:29:31Z","timestamp":1760707771480},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2007,2,12]]},"DOI":"10.1007\/s11334-006-0017-5","type":"journal-article","created":{"date-parts":[[2007,2,2]],"date-time":"2007-02-02T21:57:42Z","timestamp":1170453462000},"page":"17-31","source":"Crossref","is-referenced-by-count":5,"title":["Building and implementing policies in autonomous and autonomic systems using MaCMAS"],"prefix":"10.1007","volume":"3","author":[{"given":"Joaquin","family":"Pe\u00f1a","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Sterritt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,1]]},"reference":[{"key":"17_CR1","unstructured":"IEEE Task Force on Autonomous and Autonomic Systems (TFAAS) (2005) Available at http:\/\/www.computer.org\/tab"},{"key":"17_CR2","unstructured":"Babaoglu O, Couch A, Ganger G, Stone P, Yousif M, Kephart J (2005) Panel: grand challenges of autonomic computing. In: 2nd IEEE international conference on autonomic computing (ICAC\u201905), Seattle, WA, 13\u201316 June 2005"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Curtis SA, Truszkowski WF, Rilee ML, Clark PE (2003) ANTS for the human exploration and development of space. In: Proc IEEE aerospace conference, Big Sky, Montana, 9\u201316 March 2003","DOI":"10.1109\/AERO.2003.1235057"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Ganek AG (2003) Autonomic computing: implementing the vision. Keynote presentation at the Autonomic Computing Workshop, AMS\u201903, Seattle, WA","DOI":"10.1109\/ACW.2003.1210197"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Heflin J, Hendler J (2000) Dynamic ontologies on the web. In: AAAI\/IAAI, pp 443\u2013449","DOI":"10.21236\/ADA440528"},{"key":"17_CR6","unstructured":"Hinchey MG, Rash JL, Rouff CA (2004) 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"},{"key":"17_CR7","unstructured":"Hoare CAR (1980) Communicating sequential processes. In: McKeag RM, Macnaghten AM (eds) On the construction of programs\u2014an advanced course. Cambridge University Press, pp 229\u2013254"},{"key":"17_CR8","unstructured":"Horn P (2001) Autonomic computing: IBM perspective on the state of information technology. In: Scottsdale AR (eds) AGENDA\u201901 (available at http:\/\/www.research.ibm. com\/autonomic\/)"},{"issue":"4","key":"17_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"N Jennings","year":"2001","unstructured":"Jennings N (2001) An agent-based approach for building complex software systems. Commun ACM 44(4):35\u201341","journal-title":"Commun ACM"},{"key":"17_CR10","unstructured":"Kaminsky D (2005) An introduction to policy for autonomic computing. white paper, IBM"},{"issue":"2","key":"17_CR11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"EA Kendall","year":"2000","unstructured":"Kendall EA (2000) Role modeling for agent system analysis, design, and implementation. IEEE Concurrency 8(2):34\u201341","journal-title":"IEEE Concurrency"},{"key":"17_CR12","unstructured":"Kephart JO, Walsh WE (2004) An artificial intelligence perspective on autonomic computing policies. In: POLICY. IEEE Computer Society, pp 3\u201312"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Liskov B, Wing JM (1993) Specifications and their use in defining subtypes. In: Proceedings of the eighth annual conference on object-oriented programming systems, languages, and applications. ACM Press, pp 16\u201328","DOI":"10.1145\/165854.165863"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Lymberopoulos L, Lupu E, Sloman M (2003) An adaptive policy-based framework for network services management. J Network Syst Manage 11(3)","DOI":"10.1023\/A:1025719407427"},{"key":"17_CR15","unstructured":"Masullo MJ, Calo SB (1993) Policy management: An architecture and approach. In: IEEE first international workshop on systems management, Los Angeles, CA, April 14\u201316"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Meissner A, Musunoori SB, Wolf LC (2004) MGMS\/GML\u2014towards a new policy specification framework for multicast group integrity. In: SAINT. IEEE Computer Society, pp 233\u2013242","DOI":"10.1109\/SAINT.2004.1266121"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Mitra P, Wiederhold G (2004) An ontology-composition algebra. In: Staab S, Studer R (eds) Handbook on ontologies, International Handbooks on Information Systems. Springer, Heidelberg, pp 93\u2013116","DOI":"10.1007\/978-3-540-24750-0_5"},{"key":"17_CR18","unstructured":"Mitra P, Wiederhold G, Jannink J (1999) Semi-automatic integration of knowledge sources. In: Proc of the 2nd Int Conf on Information FUSION\u201999"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Odell J, Parunak H, Fleischer M (2003) The role of roles in designing effective agent organisations. In: Garcia A, Lucenaand C, Zambonelliand F, Omiciniand A, Castro J (eds) Software engineering for large-scale multi-agent systems. LNCS, vol 2603. Springer, Heidelberg, pp 27\u201328","DOI":"10.1007\/3-540-35828-5_2"},{"key":"17_CR20","unstructured":"Object Management Group (OMG) (2003) Unified modeling language: Superstructure. version 2.0. Final adopted specification ptc\/03\u201308\u201302, OMG http:\/\/www.omg.org"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Van Dyke Parunak H, Odell J (2001) Representing social structures in UML. In: M\u00fcller JP, Andre E, Sen S, Frasson C (eds) Proceedings of the fifth international conference on autonomous agents, Montreal. ACM Press, pp 100\u2013101","DOI":"10.1145\/375735.376008"},{"key":"17_CR22","unstructured":"Pe\u00f1a J (2005) On improving the modelling of complex acquaintance organisations of agents. A method fragment for the analysis phase. PhD thesis, University of Seville"},{"key":"17_CR23","unstructured":"Pe\u00f1a J, Corchuelo R, Arjona JL (2002) Towards interaction protocol operations for large multi-agent systems. In: Proceedings of the 2nd Int workshop on formal approaches to agent-based systems (FAABS 2002), LNAI, vol 2699, NASA-GSFC, Greenbelt. Springer, Heidelberg, pp 79\u201391"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a J, Corchuelo R, Arjona JL (2003) A top down approach for MAS protocol descriptions. In: ACM symposium on applied computing SAC\u201903, Melbourne, ACM Press, pp 45\u201349","DOI":"10.1145\/952532.952544"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a J, Hinchey MG, Sterritt R, Ruiz-Cort\u00e9s A, Resinas M (2006) A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems. In: Second international symposium on dependable autonomic and secure computing (DASC 2006), 29 September \u2013 1 October 2006, Indianapolis. IEEE Computer Society, pp 19\u201330","DOI":"10.1109\/DASC.2006.8"},{"issue":"25","key":"17_CR26","first-page":"19","volume":"9","author":"J Pe\u00f1a","year":"2005","unstructured":"Pe\u00f1a J, Levy R, Corchuelo R (2005) Towards clarifying the importance of interactions in agent-oriented software engineering. Int Iberoamerican J AI 9(25):19\u201328","journal-title":"Int Iberoamerican J AI"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Pena J, Hinchey MG, Sterritt R (2006) Towards modeling, specifying and deploying policies in autonomous and autonomic systems using an AOSE methodology. In: EASE \u201906: proceedings of the third IEEE international workshop on engineering of autonomic and autonomous systems (EASE\u201906), Washington. IEEE Computer Society, pp 37\u201346","DOI":"10.1109\/EASE.2006.22"},{"key":"17_CR28","unstructured":"Sterritt R (2002) Towards autonomic computing: Effective event management. In: 27th Annual IEEE\/NASA Software Engineering Workshop (SEW), Maryland, December 3\u20135. IEEE Computer Society Press, pp 40\u201347"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Sterritt R, Hinchey MG, Rash J, Truszkowski W, Rouff C, Gracanin D (2005) Towards formal specification and generation of autonomic policies. In: First IFIP workshop on trusted and autonomic ubiquitous and embedded systems (TAUES 2005). LNCS, vol 3823","DOI":"10.1007\/11596042_126"},{"issue":"1","key":"17_CR30","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.scico.2005.11.005","volume":"61","author":"R Sterritt","year":"2006","unstructured":"Sterritt R, Rouff CA, Hinchey MG, Rash JL, Truszkowski WF (2006) Next generation system and software architectures: challenges from future NASA space exploration missions. J Sci Comput Program 61(1):48\u201357","journal-title":"J Sci Comput Program"},{"issue":"3","key":"17_CR31","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F Zambonelli","year":"2003","unstructured":"Zambonelli F, Jennings N, Wooldridge M (2003) Developing multiagent systems: the GAIA methodology. ACM Trans Software Eng Methodol 12(3):317\u2013370","journal-title":"ACM Trans Software Eng Methodol"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0017-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-006-0017-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0017-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:43Z","timestamp":1559382463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-006-0017-5"}},"subtitle":["A case study based on a NASA concept mission"],"short-title":[],"issued":{"date-parts":[[2007,2,1]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2,12]]}},"alternative-id":["17"],"URL":"https:\/\/doi.org\/10.1007\/s11334-006-0017-5","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,1]]}}}