Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: VASY

Project : vasy

Section: Contracts and Grants with Industry

The IST ArchWare European Contract

Participants : Damien Bergamini, Alban Catry, David Champelovier, Aurore Collomb, Nicolas Descoubes, Hubert Garavel, Christophe Joubert, Frédéric Lang, Radu Mateescu.

ArchWare (Architecting Evolvable Software) is a project of the European ``Information Society Technologies'' program (Ist-2001-32360). Started on January 1st, 2002, ArchWare gathers the Research Consortium of Pisa (Cpr), The Engineering company (Italy), the University of Savoie (Llp/Cesalp laboratory and ``Association Interaction Université-Economie'' — InterUnec), the Thésame company (France), the Universities of Manchester and St Andrews (United Kingdom), and the Vasy team of Inria.

The aim of ArchWare is to build an integrated environment for architecting evolvable software systems with functional and performance requirements. Based on a software architecture description language, this environment will offer functionalities to define architectural styles specific to various activity domains, as well as engineering tools for analyzing architectural descriptions. The role of Vasy in ArchWare concerns the description and verification of functional properties.

In 2003, we contributed to the definition of Aal (Architecture Analysis Language) for expressing properties of software architectures, to the development of a prototype model checker for the Aal fragment dedicated to behavioral properties (see §  6.1.5), and to the formal specification of Engineering's Fkms (Federated Knowledge Management System) (see §  6.3.4).