Category Archives: News
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.
A new thesis on FACPL and Ontologies for Access Control is available here.
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
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/
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
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
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
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
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
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