Project presentation (PDF format)
:: the document
:: the slides

Deliverable D2-1 (month 12) (FINAL, report) - "Report on dissemination and self-evaluation activities". Critical analysis of the project development with reference to the final goals as well as state of the art monitoring and new scientific and technologiacl achievements of the project.

Deliverable D4 (FINAL, report) - "International workshop proceedings". Proceedings of the international workshop on the topics of DEGAS.

Deliverable D6 (FINAL, report) - "Peculiar features of global applications and extension/modification of UML". Definition of the characteristics of global applications to be exposed at an abstract modelling level as well as how these aspects can be modelled in UML.

Deliverable D7 (FINAL, report) - "Definition of the interface from SENV to VENV". Description of how process algebras specifications are extracted from UML specifications of global applications, preserving the information relevant to the formal analysis.

Deliverable D8 (FINAL, report) - "Basic dynamic mechanisms of process algebras for global applications". Definition of the basic primitives for the abstract design of global applications.

Deliverable D9 (FINAL, report) - "Basic static mechanisms of process algebras for global applications". Definition of the basic primitives for the abstract design of global applications.

Deliverable D10 (FINAL, report) - "Models and techniques for dynamic analysis". Report on the foundational development on quantitative and security dynamic analysis.

Deliverable D11 (FINAL, report) - "Models and techniques for static analysis". Report on the foundational development on quantitative and security static analysis.

Deliverable D12 (FINAL, report) - "Definition of the internal representations in VENV". Report that fixes the internal structures of VENV and how results of the analyses are represented.

Deliverable D13 (FINAL, report) - "Final report on dynamic techniques". Report on the dynamic techniques defined and refined after proof-of-concept tools testing.

Deliverable D14 (FINAL, report) - "Final report on static techniques". Report on the static techniques defined and refined after proof-of-concept tools testing.

Deliverable D15 (FINAL, report) - "Customization of the UML tool according to D6". A prototype obtained by extending the feature of an open source UML tool to allow the specification of global applications.

Deliverable D16 (FINAL, report) - "Extractor". Prototypes that extracts process algebra specifications from UML models preserving the relevant information for the analyses according to D6 and D7.

• The PEPA-Extractor:
  • The PEPA homepage
  • The "Java edition"
  • The "ML edition" (from the PEPA homepage)
• The ForLysa-Extractor:
  • Download the extractor from here

Deliverable D17 (FINAL, report) - "Interpreters". Prototypes that translate process algebra specifications into the representations defined in D11.

Deliverable D18 (FINAL, report) - "Dynamic analyzers". Prototypes that validate ideas on dynamic techniques.

Deliverable D19 (FINAL, report) - "Static analyzers". Prototypes that validate ideas on static techniques.

• implemented in Standard ML of New Jersey (ML)

Deliverable D20 (FINAL, report) - "Reflector". A prototype that produces a translation of the results of the analyses in an interchange format suitable to be included in UML tools.

Deliverable D24 (FINAL, report) - "Specification in UML of case studies".

Deliverable D25 (FINAL, report) - "Static and dynamic analysis of case studies".

Deliverable D26 (FINAL, report) - "Case studies". Report on the application of the DEGAS specification and verification environment to the development of the two services selected as case studies. The report also defines a process plan for the application of the DEGAS environment in general design of global wireless applications.

Deliverable D27 (FINAL, report) - "Integration of existing tools". Using the intended architecture of DEGAS to integrate a UML tool with an existing tool, the PEPA Workbench, in such a way that a developer can perform simple performance analyses on suitable UML models.

The prototype:

• Here are links to the Extractor and the Reflector python scripts.
  
• Here is a description of how they are used :
  
  • To start with :
    • Version 0.8.1 of ArgoUML
    • a PEPA Workbench version
    • a Python version
    • and a version of Minidom
      
  • Basic process :
    • draw diagrams in ArgoUML
    • save the model in ArgoUML which will generate automatically an XMI file
    • invoke the Extractor (you will then be asked to enter the name of an XMI file), that will give as an output a PEPA Workbench input
    • invoke the PEPA Workbench, that will give as an output an XML file with some performance information
    • invoke the Reflector (you will first be asked to enter the name of an XMI file, and then of an XML file), that will give a new XMI file
    • load this new XMI file in ArgoUML
      
• For more information, see
  • UKPEW'2002 (Eighteenth Annual UK Performance Engineering Workshop) paper which explains in details how this bridge between a UML tool and a Performance tool works
    
  • the slides that Stephen Gilmore made to illustrate his talk on this paper for the PASTA workshop (Workshop on Process Algebra and Stochastically Timed Activities.

WP3-DIPISA-I01-Int-001 (report) "For LySa: UML for authentication".

WP4-UNITN-I01-Int-001 (report) "Extraction of p¡-calculus specifications from UML sequence and state diagrams".

WP5-UNITN-I01-Pub-001 (report) "A Tool for Comparing Calculi for Mobility".

WP5-UEDIN-I02-Pub-002 (report) "A Function-equivalent Components Based Simplification Technique for PEPA Models".

WP6-DIPISA-I01-Pub-001 (report) "Types for Evolving Communication in Safe Ambients".

WP6-IMM-I00-Pub-003 (report) "Implementing Control Flow Analysis for Security Protocols".