{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:09:24Z","timestamp":1725674964865},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297366"},{"type":"electronic","value":"9783642297373"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29737-3_16","type":"book-chapter","created":{"date-parts":[[2012,4,13]],"date-time":"2012-04-13T13:54:33Z","timestamp":1334325273000},"page":"128-138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management"],"prefix":"10.1007","author":[{"given":"Marco","family":"Danelutto","sequence":"first","affiliation":[]},{"given":"P.","family":"Kilpatrick","sequence":"additional","affiliation":[]},{"given":"C.","family":"Montangero","sequence":"additional","affiliation":[]},{"given":"L.","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","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: Making Grids Work, CoreGRID, Chapter Component Programming Models, pp. 3\u201316. Springer (August 2008)","DOI":"10.1007\/978-0-387-78448-9_1"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-1-4419-6794-7_8","volume-title":"Grids, P2P and Services Computing (Proc. of the CoreGRID Symposium 2009), CoreGRID","author":"M. Aldinucci","year":"2010","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic managenemt of multiple non-functional concerns in behavioural skeletons. In: Grids, P2P and Services Computing (Proc. of the CoreGRID Symposium 2009), CoreGRID, pp. 89\u2013103. Springer, Delft (2010)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-21878-1_30","volume-title":"Euro-Par 2010 Parallel Processing Workshops","author":"M. Aldinucci","year":"2011","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P., Xhagjika, V.: LIBERO: A Framework for Autonomic Management of Multiple Non-functional Concerns. In: Guarracino, M.R., Vivien, F., Tr\u00e4ff, J.L., Cannatoro, M., Danelutto, M., Hast, A., Perla, F., Kn\u00fcpfer, A., Di Martino, B., Alexander, M. (eds.) Euro-Par-Workshop 2010. LNCS, vol.\u00a06586, pp. 237\u2013245. Springer, Heidelberg (2011)"},{"key":"16_CR4","unstructured":"Alloy Community, \n                    \n                      http:\/\/alloy.mit.edu\/community\/"},{"key":"16_CR5","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":"16_CR6","unstructured":"Layouni, A., Logrippo, L., Turner, K.: Conflict Detection in Call Control using First-Order Logic Model Checking. In: Proceedings International Conference on Feature Interactions in Software and Communication Systems (ICFI 2007), pp. 66\u201382. IOS Press (2007)"},{"issue":"4","key":"16_CR7","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":"16_CR8","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. Science of Computer Programming\u00a076, 119\u2013135 (2011)","journal-title":"Science of Computer Programming"},{"key":"16_CR9","unstructured":"ter Beek, M.H., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking uml state machines. In: ICFI 2009, pp. 59\u201374 (2009)"},{"key":"16_CR10","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Campbell, G.A., Wang, F.: APPEL: An Adaptable and Programmable Policy Environment and Language. Technical Report CSM-161, Univ. of Stirling (2011), \n                    \n                      http:\/\/www.cs.stir.ac.uk\/~kjt\/techreps\/pdf\/TR161.pdf"},{"key":"16_CR11","unstructured":"UMC v3.7, \n                    \n                      http:\/\/fmt.isti.cnr.it\/umc"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2011: Parallel Processing Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29737-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:48:17Z","timestamp":1587329297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29737-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297366","9783642297373"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29737-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}