Project : vasy
Section: Contracts and Grants with Industry
The IST ArchWare European Contract
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 .