{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:43:33Z","timestamp":1742967813916,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_11","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T06:10:13Z","timestamp":1357279813000},"page":"199-217","source":"Crossref","is-referenced-by-count":2,"title":["Managing Adaptivity in Parallel Systems"],"prefix":"10.1007","author":[{"given":"Marco","family":"Aldinucci","sequence":"first","affiliation":[]},{"given":"Marco","family":"Danelutto","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Kilpatrick","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Aldinucci, M., Andr\u00e9, F., Buisson, J., Campa, S., Coppola, M., Danelutto, M., Zoccolo, C.: Parallel program\/component adaptivity management. In: Gorlatch, S., Danelutto, M. (eds.) Proc. of the Integrated Research in Grid Computing Workshop, Pisa, Italy, TR-05-22, pp. 95\u2013104. Universit\u00e0 di Pisa, Dipartimento di Informatica (2005)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Campa, S., Danelutto, M., Dazzi, P., Kilpatrick, P., Laforenza, D., Tonellotto, N.: Behavioural skeletons for component autonomic management on grids. In: CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments, Heraklion, Crete, Greece (June 2007)","DOI":"10.1109\/PDP.2008.46"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic management of non-functional concerns in distributed and parallel application programming. In: Proc. of Intl. Parallel & Distributed Processing Symposium, IPDPS, Rome, Italy, pp. 1\u201312. IEEE (May 2009)","DOI":"10.1109\/IPDPS.2009.5161034"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic managenemt of multiple non-functional concerns in behavioural skeletons. In: Proc. of the CoreGRID Symposium 2009, CoreGRID, Delft, The Netherlands. Springer (August 2009)","DOI":"10.1007\/978-1-4419-6794-7_8"},{"key":"11_CR5","unstructured":"Alloy Community, \n                    \n                      http:\/\/alloy.mit.edu\/community\/"},{"key":"11_CR6","unstructured":"ter Beek, M., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: Reiff-Marganiec, S., Nakamura, M. (eds.) Feature Interactions in Software and Communication System X, pp. 59\u201374. IOS Press (2009)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"key":"11_CR8","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Marples, D., Reiff-Marganiec, S.: Hybrid solutions to the feature interaction problem. In: Amyot, D., Logrippo, L. (eds.) FIW, pp. 295\u2013312. IOS Press (2003)"},{"key":"11_CR9","unstructured":"Calder, M., Magill, E.H.: Feature Interactions in Telecommunications and Software Systems VI, Glasgow, Scotland, UK, May 17-19. IOS Press (2000)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-29737-3_16","volume-title":"Euro-Par 2011: Parallel Processing Workshops","author":"M. Danelutto","year":"2012","unstructured":"Danelutto, M., Kilpatrick, P., Montangero, C., Semini, L.: Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. In: Alexander, M., D\u2019Ambra, P., Belloum, A., Bosilca, G., Cannataro, M., Danelutto, M., Di Martino, B., Gerndt, M., Jeannot, E., Namyst, R., Roman, J., Scott, S.L., Traff, J.L., Vall\u00e9e, G., Weidendorfer, J. (eds.) Euro-Par 2011 Workshops, Part I. LNCS, vol.\u00a07155, pp. 128\u2013138. Springer, Heidelberg (2012)"},{"key":"11_CR11","first-page":"77","volume-title":"Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems","author":"A.F. Layouni","year":"2007","unstructured":"Layouni, A.F., Logrippo, L., Turner, K.J.: Conflict detection in call control using first-order logic model checking. In: du Bousquet, L., Richier, J.-L. (eds.) Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, France, pp. 77\u201392. IMAG Laboratory, University of Grenoble (2007)"},{"key":"11_CR12","unstructured":"Mazzanti, F.: UMC User Guide v3.3. Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d, CNR (2006)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75698-9_17","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"C. Montangero","year":"2007","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic\u2013Based Detection of Conflicts in Appel Policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 257\u2013271. Springer, Heidelberg (2007)"},{"issue":"4","key":"11_CR14","first-page":"511","volume":"89","author":"C. Montangero","year":"2008","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based conflict detection for distributed policies. Fundamenta Informaticae\u00a089(4), 511\u2013538 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR15","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning, TIME 2002, Manchester, UK. IEEE CS Press (July 2002)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-24634-3_19","volume-title":"Coordination Models and Languages","author":"C. Montangero","year":"2004","unstructured":"Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event\u2013Driven Self\u2013Healing Distributed Systems. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 248\u2013262. Springer, Heidelberg (2004)"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.comnet.2004.03.004","volume":"45","author":"S. Reiff-Marganiec","year":"2004","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Feature interaction in policies. Comput. Networks\u00a045(5), 569\u2013584 (2004)","journal-title":"Comput. Networks"},{"key":"11_CR18","unstructured":"Ruz, C.: Autonomic Monitoring and Management of Component-Based Services, PhD Thesis. Univ. de Nice - Sophia Antipolis (2011)"},{"issue":"2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program.\u00a076(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-39718-2_27","volume-title":"The Semantic Web - ISWC 2003","author":"G. Tonti","year":"2003","unstructured":"Tonti, G., Bradshaw, J.M., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 419\u2013437. Springer, Heidelberg (2003)"},{"issue":"6","key":"11_CR21","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.csi.2005.05.004","volume":"28","author":"K.J. Turner","year":"2006","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces\u00a028(6), 635\u2013649 (2006)","journal-title":"Computer Standards and Interfaces"},{"key":"11_CR22","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Cambpell, G.A., Wang, F.: Appel: An adaptable and programmable policy environment and language. Technical Report TR-161, University of Stirling (December 2009)"},{"key":"11_CR23","unstructured":"UMC v3.5, \n                    \n                      http:\/\/fmt.isti.cnr.it\/umc"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:38:31Z","timestamp":1558301911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}