Section: Overall Objectives
Highlights of the year
CALICOis a Component AssembLy Interaction Control FramewOrk, which enables software architects to first specify component-based architectures and contractual properties, and then check the consistency of the component assembly specifications  . The validation of the specifications may be performed at execution time when static verification is not sufficient  . CALICO is generic, it supports different target component platforms, such as Fractal, OpenCCM, and OpenCom, and different kinds of constraints, such as structural constraints expressed with OCL or behavioral constraints. We have implemented CALICO in Java and used the Eclipse Modeling Framework (EMF) to enable the editing and manipulation of the various description models offered by the framework to describe an architecture. CALICO is freely available at http://calico.gforge.inria.fr . For more details, see sections 5.2 and 6.4 . Our work on CALICO partially falls within the context of the RNTL project FAROS (cf. section 8.1 ), which involves EDF R&D, France Télécom, Alicante, IRISA, I3S and LIFL. This project addresses issues related to the safe integration of services in service-oriented architectures and has been presented at the Research Projects Symposium of MODELS'08.
FraSCAtiis our open source runtime platform for supporting Service Component Architecture (SCA) specifications. SCA is an initiative supported by both OASIS and Open SOA international industrial consortiums for unifying Service Oriented Architectures (SOA) and Component-Based Software Engineering (CBSE). FraSCAti is one of the main results of the ANR TLog SCOrWare project (cf. section 8.1 ) and will be hosted by the OW2 consortium at http://forge.objectweb.org/projects/frascati . As far as we know, FraSCAti is the first original result to concretely demonstrate that the Fractal component model is open and flexible enough to implement different component models on top of it. For more details, see section 5.5 .
Soleilis a component-based framework for developing systems which conform to the Sun Real-Time Specification for Java (RTSJ). The key motivation for the project is to shield developers from the complexities of RTSJ related code and allow them to focus only on development of the application logic. A methodology and a component-based programming model are proposed. A code generation framework is available for producing an executable system where a tradeoff can be made between reconfigurability and performance  ,  . The Soleil framework is presented in more details in section 5.7 .