Public Deliverables

  • Description of work (Annex I)  [.pdf ]
  • Periodic Progress Report for Period P1: 01.01.08 — 31.12.08  [.pdf ]
  • Periodic Progress Report for Period P2: 01.01.09 — 31.12.09  [.pdf ]
  • D 1.1      Project presentation  [.pdf ]
  • D 1.2      Basic Dissemination and Use Plan  [.pdf ]
  • D 1.3      Progress/Assessment Report for Year 1  [.pdf ]
  • D 1.4      Progress/Assessment Report for Year 2  [.pdf ]
  • D 1.5      Final Project Report [Access to this deliverable is restricted, please contact webadmin@avantssar.eu ]
  • D 1.6      Final Dissemination and Use Plan [.pdf ]
  • D 1.7      Technology Implementation Plan (TIP)  [.pdf ]
  • D 2.1      Requirements for modeling and ASLan v.1  [.pdf ]
  • D 2.2      ASLan v.2 with static service and policy composition   [.pdf ]
  • D 2.3      ASLan final version with dynamic service and policy composition [.pdf ]
  • D 2.3      (update) ASLan++ specification and tutorial [.pdf ]
  • D 3.1      Decision Procedures for Service Synthesis and Satisfiability of ASLan Policies [.pdf ]
  • D 3.2      Model-Checking Techniques [.pdf ]
  • D 3.3      Attacker Models  [.pdf ]
  • D 3.4      Abstraction and Compositional Reasoning Techniques for Service Analysis  [.pdf ]
  • D 4.1      AVANTSSAR Validation Platform v.1  [.pdf ]
  • D 4.2      AVANTSSAR Validation Platform v.2  [.pdf ]
  • D 5.1      Problem Cases and their Trust and Security Requirements  [.pdf ]
  • D 5.2      Formalized problem cases [Access to this deliverable is restricted, please contact webadmin@avantssar.eu ]
  • D 5.3      AVANTSSAR Library of validated problem cases [.pdf ]
  • D 5.4      Assessment of the AVANTSSAR Validation Platform  [.pdf ]
  • D 6.2.1   State-of-the-Art on Specification Languages for Service-Oriented Architectures  [.pdf ]
  • D 6.2.2   Industrial language requirements  [Access to this deliverable is restricted, please contact webadmin@avantssar.eu ]
  • D 6.2.3   Migration to industrial development environments: lessons learned and best practices  [.pdf ]
  • D 6.3      Migration to standardisation bodies  [.pdf ]