Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

European Conference on Parallel Processing

Euro-Par 2011: Euro-Par 2011: Parallel Processing Workshops pp 128–138Cite as

  1. Home
  2. Euro-Par 2011: Parallel Processing Workshops
  3. Conference paper
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management

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

  • Marco Danelutto30,
  • P. Kilpatrick31,
  • C. Montangero30 &
  • …
  • L. Semini30 
  • Conference paper
  • 1332 Accesses

  • 3 Citations

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7155)

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.

Keywords

  • Autonomic managers
  • model checking
  • non-functional concerns
  • structured parallel computations

Download conference paper PDF

References

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  4. Alloy Community, http://alloy.mit.edu/community/

  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)

    CrossRef  Google Scholar 

  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. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based Conflict Detection for Distributed Policies. Fundamenta Informaticae 89(4), 511–538 (2008)

    MathSciNet  MATH  Google Scholar 

  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)

    CrossRef  MATH  Google Scholar 

  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. 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

  11. UMC v3.7, http://fmt.isti.cnr.it/umc

Download references

Author information

Authors and Affiliations

  1. Dept. Computer Science, University of Pisa, Italy

    Marco Danelutto, C. Montangero & L. Semini

  2. Dept. Computer Science, Queen’s University Belfast, Belfast, UK

    P. Kilpatrick

Authors
  1. Marco Danelutto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Kilpatrick
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. Montangero
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. L. Semini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Scilytics, Koellnerhofgasse 3/15A, 1010, Vienna, Austria

    Michael Alexander

  2. ICAR-CNR, Via P. Castellino, 111, 80131, Napoli, Italy

    Pasqua D’Ambra

  3. University of Amsterdam, 1090, Amsterdam, Netherlands

    Adam Belloum

  4. Innovative Computing Laboratory, The University of Tennessee, USA

    George Bosilca

  5. Department of Experimental Medicine and Clinic, University Magna Græcia, 88100, Catanzaro, Italy

    Mario Cannataro

  6. Computer Science Department, University of Pisa, Italy

    Marco Danelutto

  7. Second University of Naples, Italy

    Beniamino Di Martino

  8. TU München, Boltzmannstr. 3, 85748, Garching, Germany

    Michael Gerndt

  9. Equipe Runtime, INRIA Bordeaux Sud-Ouest, 33405, Talence Cedex, France

    Emmanuel Jeannot & Raymond Namyst & 

  10. Equipe HIEPACS, INRIA Bordeaux Sud-Ouest, 33405, Talence Cedex, France

    Jean Roman

  11. Oak Ridge National Laboratory, Computer Science and Mathematics Division, 37831-6164, Oak Ridge, TN, USA

    Stephen L. Scott

  12. Department of Scientific Computing, University of Vienna, Nordbergstr. 15/3C, 1090, Vienna, Austrial

    Jesper Larsson Traff

  13. Computer Science and Mathematics Division, Oak Ridge National Laboratory, 37831, Oak Ridge, TN, USA

    Geoffroy Vallée

  14. Technische Universität München, Germany

    Josef Weidendorfer

Rights and permissions

Reprints 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

  • .RIS
  • .ENW
  • .BIB
  • 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)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature