Category Archives: News

PSCEL: FACPL for Self-Adaptive Systems

FACPL has been employed in the context on the PSCEL language to regulate the interactions and to define adaptation strategies for autonomic systems. Check out the paper and the supporting tools on the dedicated webpage.

Posted in News | Comments Off

Thesis on FACPL and Ontologies

A new thesis on FACPL and Ontologies for Access Control is available here.

Posted in News | Comments Off

Thesis on FACPL for Usage Control

Two new thesis on FACPL are present in Publications. They concern the support for Usage Control in FACPL. First, they devise specific linguistic extension for the language, then they enhance the FACPL Java library with new features. The developed code can … Continue reading

Posted in News | Comments Off

Minor Updates to the FACPL plug-in

A new version of the FACPL Eclipse plugin has been released. Minor typos on the UI and on the SMT-LIB code generation have been removed. To update your FACPL Plugin use the following Eclipse Update Site http://facpl.sourceforge.net/release/2.0.2/

Posted in News, Tool | Comments Off

Release of FACPL 2.0

FACPL has been update to the version 2.0. The language has been streamlined and additional aspects has been introduced (e.g., fulfilment strategies for obligations). All the tools have been updated and new analysis features introduced. Check the web-application for the updated … Continue reading

Posted in News | Comments Off

Challenge yourself with an Autonomic Cloud case study

As the case study we proposed for the ASCENS Spring School received very good impressions by the students, we make it available to challenge yourself in the development of FACPL polices. The description of the case study, as well as … Continue reading

Posted in News | Comments Off

FACPL at the ASCENS Spring School

FACPL has been intensely used during the whole week of the ASCENS Spring School.  A group of PhD students used FACPL to approach an Autonomic Cloud case study and to deal with access control, resource usage and adaptation issues. The … Continue reading

Posted in News | Comments Off

New Release of FACPL IDE and Library

A new version of the ECLIPSE FACPL IDE is available on-line. Checkout the updated FACPL examples in the sourceforge repository and on the FACPL web-app. The main improvements focus on the usability of the FACPL plugin, and on a better … Continue reading

Posted in News, Tool | Comments Off

New User’s Guide and Running Examples

A new User’s Guide for FACPL Tools and Programming tasks can be found here. In the sourceforge repository are now available the FACPL code and the Java-translated classes implementing an e-Health access service, and a management of a Cloud Platform. … Continue reading

Posted in News | Comments Off

FACPL-based adaptation

FACPL policies have been used for policing a language (called SCEL) that is used for programmgin autonomic computing systems. In particular, FACPL regulates the interactions among autonomic components and adapts the components’ behaviour by means of obligations. The FACPL formal semantics is used to … Continue reading

Posted in News | Leave a comment