3 new SERENITY deliverables online

A6.D4.4 - SERENITY Framework Implementation (version 2) This deliverable provides a user guide for installation, configuration and use of the SERENITY Runtime framework v2. The revision was made on the basis of the implementation of the SERENITY Runtime Framework (SRF) previous version, consisting of A6.D4.1 “Security Manager” and A6.D4.2 “Security Library” deliverables.

A2.D3.4 - Final version of workflow security analysis and verification tool This deliverable contains a description of the final version of Workflow Security Analysis Tool developed, which is a product of the SERENITY Activity 2. This document can be used as a guide for the installation and use of this tool, and it includes examples of its functionality. Final version’s enhancements include minor changes in the interface and addition of the BPEL to APA converter.

A5.D2.5 - Patterns and Integration Schemes Languages (Final Version) This is a precise description of the modelling artefacts used in the description of S&D Solutions. These artefacts range from S&D Patterns (and 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. This particular release contains some important changes from the Initial Version of the Language : new S&D Artefact languages (called version 1.0) and a new language for the specification of “Preconditions”.