Abstract
When implementing autonomic management of multiple non-functional concerns a trade-off must be found between the ability to develop independently management of the individual concerns (following the separation of concerns principle) and the detection and resolution of conflicts that may arise when combining the independently developed management code. Here we discuss strategies to establish this trade-off and introduce a model checking based methodology aimed at simplifying the discovery and handling of conflicts arising from deployment–within the same parallel application–of independently developed management policies. Preliminary results are shown demonstrating the feasibility of the approach.
Chapter PDF
Similar content being viewed by others
References
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–16. Springer (August 2008)
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–103. Springer, Delft (2010)
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äff, J.L., Cannatoro, M., Danelutto, M., Hast, A., Perla, F., Knüpfer, A., Di Martino, B., Alexander, M. (eds.) Euro-Par-Workshop 2010. LNCS, vol. 6586, pp. 237–245. Springer, Heidelberg (2011)
Alloy Community, http://alloy.mit.edu/community/
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. 4916, pp. 133–148. Springer, Heidelberg (2008)
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–82. IOS Press (2007)
Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based Conflict Detection for Distributed Policies. Fundamenta Informaticae 89(4), 511–538 (2008)
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 76, 119–135 (2011)
ter Beek, M.H., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking uml state machines. In: ICFI 2009, pp. 59–74 (2009)
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), http://www.cs.stir.ac.uk/~kjt/techreps/pdf/TR161.pdf
UMC v3.7, http://fmt.isti.cnr.it/umc
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Danelutto, M., Kilpatrick, P., Montangero, C., Semini, L. (2012). Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. In: Alexander, M., et al. Euro-Par 2011: Parallel Processing Workshops. Euro-Par 2011. Lecture Notes in Computer Science, vol 7155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29737-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-29737-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29736-6
Online ISBN: 978-3-642-29737-3
eBook Packages: Computer ScienceComputer Science (R0)