Policed-SCEL (PSCEL)
A FACPL-based Language for Self-Adaptive Policy-based Autonomic Computing Systems



1. PSCEL

PSCEL is a formal language that takes a holistic approach to programming and regulating autonomic computing systems. PSCEL is a full-fledged instantiation of SCEL and advocates a design of self-adaptive, autonomic systems based on dynamically generated ensembles of basic components.

PSCEL Component

The PSCEL components are the building blocks of the systems and represent the computational units whose dynamical organisation forms the ensembles. Each component includes an interface, a knowledge repository, a process and a policy.

The policy language FACPL is used as the specification formalism for the component policies. Indeed, it is possible to define policies implementing adaptation strategies by exploiting specific actions that are produced at runtime as an effect of policy evaluation. These actions are executed as part of component behaviours to enforce system adaptation.


2. References


3. Supporting Tools: jRESP and Flow Analysis

jRESP: A Java Runtime Environment
(Main developer Michele Loreti)

The jRESP Java runtime environment offers a set of APIs for the development of self-adaptive, autonomic systems based on PSCEL.


ECLIPSE IDE

The PSCEL IDE is an Eclipse plug-in offering a tailored development environment for PSCEL. It supports with graphical features the coding of PSCEL code and permits automated generation of runnable jRESP and SMT-LIB code. The SMT-LIB code is used, together with the Z3 SMT solver, to define the Policy-Flow graph. See this paper for further details.



PSCEL IDE


An Essential User's Guide for the IDE

  1. Install the PSCEL Eclipse Plugin by using the update site http://facpl.sourceforge.net/pscel/release/0.9/
  2. Create a new Plug-in Project
  3. Open the MANIFEST.MF
  4. Add the following two plug-ins to the 'Required Plug-ins' part of the 'Dependencies' tab
  5. Create a new text file with extension .pscel
  6. When requested, convert the project to the 'Xtext' nature
  7. Code in PSCEL and save
  8. Add the generated src-gen folder to the Build Path (Use as a Source Folder)


PSCEL Analysis: Policy-Flow graph
  1. To create the Policy-Flow graph: run the java classes in the package *.flowgraphs
  2. To visualise the graph use the dot tool provided by the graphviz tool

Samples of visualised Policy-Flow graphs are as follows

Policy-Flow graph      Policy-Flow graph

4. Security Analysis of PSCEL Policies

PSCEL policies are used to enforce both adaptation and authorisation strategies. To analyse the effects on PSCEL systems of adaptation strategies, we have defined the Policy-Flow graph and its exploitation. Instead, to analyse the effects of the authorisation strategies, thus carrying out a security analysis, we can leverage on the FACPL analysis tools. The tools permits verifying properties on the authorisation granted by the considered policies to PSCEL actions. To this aim, it is possible to use the FACPL Eclipse IDE, but some minor modifications have to be applied to PSCEL policies for enabling their analysis. Further details follow.

Indeed, as PSCEL policies are written according to a dialect of FACPL, some rearranging of PSCEL-oriented constructs have to be done. We report in the following list the needed rearrangements.

  1. Adhere to FACPL keywords, i.e. "policy" -> "PolicySet", "rules:"-> "policies:" (by using the Eclipse auto-completion commands, you can simply achieve the task).
  2. Remove policy parameters (by possibly replacing them with attribute names).
  3. Put PSCEL distinguished values (e.g, put and this) as string values.
  4. Using a customised target function for pattern_match comparison (see example below for definition).
  5. Align obligation definitions introducing an effect

At the following links, an example of a PSCEL policy and its FACPL translation are available.

5. Main Contributors
AM-picture Andrea Margheri Research Fellow at University of Southampton
RP_120x144 Rosario Pugliese Associate Professor at University of Firenze, Dipartimento di Statistica, Informatica e Applicazioni
FT_120x144 Francesco Tiezzi Associate Professor at University of Camerino, School of Science and Technology
ML_120x144 Michele Loreti Associate Researcher at University of Firenze, Dipartimento di Statistica, Informatica e Applicazioni


Links