Model checking support for conflict resolution in multiple non-functional concern management

Authors:
Marco Danelutto
Affiliations:
Dept. Computer Science, University of Pisa, Italy
Venue:
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing
Year:
2011

Citing 4
Cited 0

Logic-based Conflict Detection for Distributed Policies

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A state/event-based model-checking approach for the analysis of abstract system properties

Science of Computer Programming
LIBERO: a framework for autonomic management of multiple non-functional concerns

Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing

Quantified Score

Hi-index	0.00

Visualization

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.