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 (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).