{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:06:23Z","timestamp":1742911583924,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_39","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"554-569","source":"Crossref","is-referenced-by-count":1,"title":["Towards Static Analysis of Policy-Based Self-adaptive Computing Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Margheri","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Appeltauer, M., Hirschfeld, R., Haupt, M., Lincke, J., Perscheid, M.: A comparison of context-oriented programming languages. In: COP, pp. 6:1\u20136:6 (2009)","DOI":"10.1145\/1562112.1562118"},{"key":"39_CR2","first-page":"1257","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw.: Pract. Experience 36, 1257\u20131284 (2006)","journal-title":"Softw.: Pract. Experience"},{"key":"39_CR3","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"3","author":"A Charfi","year":"2007","unstructured":"Charfi, A., Mezini, M.: AO4BPEL: an aspect-oriented extension to BPEL. World Wide Web 3, 309\u2013344 (2007)","journal-title":"World Wide Web"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"39_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/11821946_6","volume-title":"Software Composition","author":"P-C David","year":"2006","unstructured":"David, P.-C., Ledoux, T.: An aspect-oriented approach for developing self-adaptive fractal components. In: L\u00f6we, Welf, S\u00fcdholt, Mario (eds.) SC 2006. LNCS, vol. 4089, pp. 82\u201397. Springer, Heidelberg (2006)"},{"issue":"2","key":"39_CR6","first-page":"7:1","volume":"9","author":"R Nicola De","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-68265-3_10","volume-title":"Coordination Models and Languages","author":"C Hankin","year":"2008","unstructured":"Hankin, C., Nielson, F., Riis Nielson, H., Yang, F.: Advice for coordination. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 153\u2013168. Springer, Heidelberg (2008)"},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014)"},{"issue":"3","key":"39_CR9","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1380584.1380585","volume":"40","author":"MC Huebscher","year":"2008","unstructured":"Huebscher, M.C., McCann, J.A.: A survey of autonomic computing-degrees, models and applications. ACM Comput. Surv. 40(3), 7 (2008)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"39_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C.L., Sirjani, M., Mousavi, M.R.: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1), 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: ECOOP, pp. 220\u2013242 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"39_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-662-45234-9_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M Loreti","year":"2014","unstructured":"Loreti, M., Margheri, A., Pugliese, R., Tiezzi, F.: On programming and policing autonomic computing systems. In: Margaria, Tiziana, Steffen, Bernhard (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 164\u2013183. Springer, Heidelberg (2014)"},{"key":"39_CR13","unstructured":"Margheri, A., Masi, M., Pugliese, R., Tiezzi, F.: A rigorous framework for specification, analysis and enforcement of access control policies. Technical Report (2016.). http:\/\/local.disia.unifi.it\/wp_disia\/2016\/wp_disia_2016_05.pdf"},{"key":"39_CR14","unstructured":"Margheri, A., Riis\u00a0Nielson, H., Nielson, F., Pugliese, R.: Design, analysis and implementation of policy-based self-adaptive computing systems. Technical report (2016). http:\/\/facpl.sf.net\/research\/StaticPSCEL-TR.pdf"},{"key":"39_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/978-3-319-16310-9_16","volume-title":"Software Engineering for Collective Autonomic Systems \u2013 the ASCENS Approach","author":"P Mayer","year":"2015","unstructured":"Mayer, P., et al.: The autonomic cloud. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Collective Autonomic Systems. LNCS, vol. 8998, pp. 495\u2013512. Springer, Heidelberg (2015)"},{"key":"39_CR16","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: a programming paradigm for autonomic systems. CoRR, abs\/1105.0069 (2011)"},{"key":"39_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-30829-1_10","volume-title":"Coordination Models and Languages","author":"M Terepeta","year":"2012","unstructured":"Terepeta, M., Riis Nielson, H., Nielson, F.: Recursive advice for coordination. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 137\u2013151. Springer, Heidelberg (2012)"},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods for Components and Objects","author":"M Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Boer, F.S., Bonsangue, M.M., Beckert, B., Damiani, F. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1\u201324. Springer, Heidelberg (2012). Revised Selected Papers"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:07Z","timestamp":1498335727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}