Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management

  • Marco Danelutto
  • P. Kilpatrick
  • C. Montangero
  • L. Semini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7155)


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.


Autonomic managers model checking non-functional concerns structured parallel computations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based Conflict Detection for Distributed Policies. Fundamenta Informaticae 89(4), 511–538 (2008)MathSciNetzbMATHGoogle Scholar
  8. 8.
    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)zbMATHCrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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),
  11. 11.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Marco Danelutto
    • 1
  • P. Kilpatrick
    • 2
  • C. Montangero
    • 1
  • L. Semini
    • 1
  1. 1.Dept. Computer ScienceUniversity of PisaItaly
  2. 2.Dept. Computer ScienceQueen’s University BelfastBelfastUK

Personalised recommendations