New SERENITY deliverable online

This deliverable gives a precise description of the modelling artefacts used in the description of Security & Dependability (S&D) Solutions. These artefacts range from S&D Patterns, Integration Schemes and S&D Classes to S&D Implementations. This document describes their conceptual meanings and proposes a structured language for expressing them, along with an XML-based representation for this language.

The second version of the language, presented in this document, provide the readers with guidance on how to correctly use the modelling artefacts to describe generic S&D Solutions. Finally, with the aim of building an illustrative guide for newcomers to the Serenity approach, the document also introduces some basic concepts of the Serenity Architecture.

In addition to the clarifications of the concepts already presented in first version, this release contains some important changes of the Language: new proposal for the analysis and specification of “Pre-conditions”, Action Specification Language has been selected to formally define the structure and syntax, the concept of “role” in the S&D Class definition has been introduced.