{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:10:35Z","timestamp":1736118635052,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308034"},{"type":"electronic","value":"9783540322962"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596042_126","type":"book-chapter","created":{"date-parts":[[2005,11,24]],"date-time":"2005-11-24T15:14:40Z","timestamp":1132845280000},"page":"1245-1254","source":"Crossref","is-referenced-by-count":6,"title":["Towards Formal Specification and Generation of Autonomic Policies"],"prefix":"10.1007","author":[{"given":"Roy","family":"Sterritt","sequence":"first","affiliation":[]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[]},{"given":"James L.","family":"Rash","sequence":"additional","affiliation":[]},{"given":"Walt","family":"Truszkowski","sequence":"additional","affiliation":[]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Gracanin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"126_CR1","unstructured":"Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd. (1999)"},{"key":"126_CR2","unstructured":"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)"},{"key":"126_CR3","first-page":"1","volume-title":"Software Engineering","author":"F.L. Bauer","year":"1980","unstructured":"Bauer, F.L.: A trend for the next ten years of software engineering. In: Freeman, H., Lewis, P.M. (eds.) Software Engineering, pp. 1\u201323. Academic Press, London (1980)"},{"key":"126_CR4","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/PL00003930"},{"key":"126_CR5","doi-asserted-by":"crossref","unstructured":"Ganek, A.G.: Autonomic computing: implementing the vision. In: Keynote presentation, Autonomic Computing Workshop, AMS 2003, June 25 (2003)","DOI":"10.1109\/ACW.2003.1210197"},{"issue":"5","key":"126_CR6","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Communications of the ACM\u00a031(5), 514\u2013530 (1988)","journal-title":"Communications of the ACM"},{"key":"126_CR7","unstructured":"Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. In: International Series in Software Engineering. McGraw-Hill International, London (1995)"},{"key":"126_CR8","unstructured":"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)"},{"key":"126_CR9","unstructured":"Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Sterritt, R.: You can\u2019t 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\u201317, The Society for Design and Process Science (2005)"},{"issue":"8","key":"126_CR10","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"126_CR11","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. In: Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs (1985)"},{"key":"126_CR12","unstructured":"Horn, P.: Autonomic computing: IBM\u2019s perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory, October 15 (2001)"},{"key":"126_CR13","unstructured":"Kaminsky, D.: An introduction to policy for autonomic computing. white paper (March 2005)"},{"key":"126_CR14","series-title":"Advances in Formal Methods Series","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston (2000)"},{"key":"126_CR15","doi-asserted-by":"crossref","unstructured":"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\u201312 (2004)","DOI":"10.1109\/POLICY.2004.1309145"},{"key":"126_CR16","doi-asserted-by":"crossref","unstructured":"Lymberopoulos, L., Lupu, E., Sloman, M.: An adaptive policy-based framework for network services management. Journal of Network and Systems Management\u00a011(3) (2003)","DOI":"10.1023\/A:1025719407427"},{"key":"126_CR17","doi-asserted-by":"crossref","unstructured":"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\u201316 (1993)","DOI":"10.1109\/IWSM.1993.315293"},{"key":"126_CR18","doi-asserted-by":"crossref","unstructured":"Meissner, A., Musunoori, S.B., Wolf, L.: MGMS\/GML\u2014towards a new policy specification framework for multicast group integrity. In: Proc. 2004 International Symposium on Applications and the Internet (SAINT 2004), Tokyo, Japan (2004)","DOI":"10.1109\/SAINT.2004.1266121"},{"key":"126_CR19","doi-asserted-by":"crossref","unstructured":"Rash, J.L., Hinchey, M.G., Rouff, C.A., Gra\u010danin, 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)","DOI":"10.1109\/ICECCS.2005.47"},{"key":"126_CR20","unstructured":"Rash, J.L., Hinchey, M.G., Rouff, C.A., Gra\u010danin, 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\u201317, The Society for Design and Process Science (2005)"},{"key":"126_CR21","first-page":"40","volume-title":"Proc. 27th Annual IEEE\/NASA Software Engineering Workshop (SEW)","author":"R. Sterritt","year":"2002","unstructured":"Sterritt, R.: Towards autonomic computing: Effective event management. In: Proc. 27th Annual IEEE\/NASA Software Engineering Workshop (SEW), Greenbelt, Maryland, USA, pp. 40\u201347. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"126_CR22","doi-asserted-by":"crossref","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 Transactions on Systems, Man and Cybernetics, Part C (2006) (to appear)","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"126_CR23","doi-asserted-by":"crossref","unstructured":"Truszkowski, W.F., Rash, J.L., Rouff, C.A., Hinchey, M.G.: Some autonomic properties of two legacy multi-agent systems \u2014 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\u2013498. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/ECBS.2004.1316738"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596042_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:35:45Z","timestamp":1736116545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596042_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308034","9783540322962"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11596042_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}