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

Project : vasy

Section: Contracts and Grants with Industry

The IST ArchWare European Contract

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

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 (Listic 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 2004, we continued the development of the model checker for the Aal (Architecture Analysis Language) fragment dedicated to the description of behavioral properties of software architectures, and we contributed to the integration of this tool within the ArchWare environment (see §  6.1.4).

The description of ArchWare and of its current achievements was subject to a publication [26].


Logo Inria