Towards Static Analysis of Policy-Based Self-adaptive Computing Systems

Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

For supporting the design of self-adaptive computing systems, the PSCEL language offers a principled approach that relies on declarative definitions of adaptation and authorisation policies enforced at runtime. Policies permit managing system components by regulating their interactions and by dynamically introducing new actions to accomplish task-oriented goals. However, the runtime evaluation of policies and their effects on system components make the prediction of system behaviour challenging. In this paper, we introduce the construction of a flow graph that statically points out the policy evaluations that can take place at runtime and exploit it to analyse the effects of policy evaluations on the progress of system components.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Foundational Techniques : Proceedings. Part 1
EditorsTiziana Margaria, Bernhard Steffen
Number of pages16
PublisherSpringer
Publication date2016
Pages554-569
ISBN (Print)978-3-319-47165-5
ISBN (Electronic)978-3-319-47166-2
DOIs
Publication statusPublished - 2016
Event7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation - Corfu, Greece
Duration: 10 Oct 201614 Oct 2016
Conference number: 7

Conference

Conference7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation
Number7
CountryGreece
CityCorfu
Period10/10/201614/10/2016
SeriesLecture Notes in Computer Science
Volume9952
ISSN0302-9743

Keywords

  • Policy languages
  • Self-adaptive systems
  • Static analysis

Cite this

Margheri, A., Nielson, H. R., Nielson, F., & Pugliese, R. (2016). Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Foundational Techniques: Proceedings. Part 1 (pp. 554-569). Springer. Lecture Notes in Computer Science, Vol.. 9952 https://doi.org/10.1007/978-3-319-47166-2_39