Deliverables WP1 - Methodology and process

D1.1 The Tropos Metodology and its Metamodel. ITC-IRST, University of Trento.

D1.2 Definizione del processo di sviluppo. ITC-IRST, University of Trento.

D1.3 A Knowledge Level Methodology for Web Service Composition. DeltaDator, ITC-IRST, University of Genova, University of Roma, University of Trento.

Deliverables WP2 - Specification and analysis

D2.1 Approccio trasformazionale incrementale per l'analisi dei requisiti. ITC-IRST, University of Trento.

D2.2 Algoritmi per l'analisi dei goal diagram. ITC-IRST, University of Trento.

D2.3 Studio e definizione di stili organizzativi. ITC-IRST, University of Trento.

D2.4 Studio e definizione di multi-agent pattern. ITC-IRST, University of Trento.

Deliverables WP3 - Verification and Validation

D3.1 Formal Tropos. ITC-IRST, University of Genova, University of Trento.

D3.2 Formal Tropos for Web Service Compositions. ITC-IRST, University of Trento.

D3.3 Verification of Web Services. ITC-IRST, University of Roma, University of Trento.

D3.4 Languages and their computational properties. University of Rome.

D3.5 SAT- and QBF-Based Reasoning Techniques. ITC-IRST, University of Genova, University of Rome, University of Trento.

D3.6 Requirements integration: methodologies and algorithms. University of Rome.

Deliverables WP4 - Automated planning

D4.1 Planning as BDD-Based Model Checking. ITC-IRST, University of Genova, University of Trento.

D4.2 Languages for Planning. ITC-IRST, University of Genova, University of Trento.

D4.3 Automated Composition of Web Services via Planning. ITC-IRST, University of Trento.

D4.4 Specification of Web Service Composition Requirements. ITC-IRST, University of Trento.

D4.5 Planning as SAT- and QBF-Based reasoning. University of Genova, University of Roma.

Deliverables WP5 - Natural language

D5.1 Natural language processing for documentation analysis. ITC-IRST.

Deliverables WP6 - Analysis and testing

D6.1 Reverse engineering of actor-based systems. ITC-IRST.

D6.2 Testing of actor-based systems. ITC-IRST.

Deliverables WP7 - Tool

D7.1 Platform for the composition of Web services: Requirements and architecture. DeltaDator, ITC-IRST, University of Genova, University of Roma, University of Trento.

D7.2 Platform for the composition of Web services: design and development. DeltaDator, ITC-IRST, University of Trento.

D7.3 Platform for the composition of Web Services: Experiments. ITC-IRST, University of Trento.

D7.4 Platform for the Composition of Web Services: Usability on an Industrial Case Study. DeltaDator, ITC-IRST.

Deliverables WP8 - Case study

D8.1 Problematiche di integrazione applicativa in ambito industriale. DeltaDator.

D8.2 Caso di studio: integrazione di gestione e riscossione di tributi comunali. DeltaDator.

D8.3 Applicazione della metodologia di progetto in ambito industriale: opportunità e prospettive. DeltaDator.

Homepage

Research

ResultsPapersToolsDeliverables

Partners

Events

Contacts