LIP6 1998/025
- Reports
Formalisation des contraintes de qualité sur le cycle de vies des applications réparties - A. Diagne, P. Estraillier, F. Kordon
- 11 pages - 06/12/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.025.ps.gz - 44 Ko
- Contact : Alioune.Diagne (at) nulllip6.fr, Pascal.Estraillier (at) nulllip6.fr, Fabrice.Kordon (at) nulllip6.fr
- Ancien Thème : SRC
- Keywords : Distributed Applications, Quality, Traceability
- Publisher : Denis.Poitrenaud (at) nulllip6.fr
Face to the much and much complexity in computer applications and their interconnection via networks, the distribution paradigm has become a standard. Nowadays, an application is often built to be part of a larger system to which they can offer services or require them from it. The component-based approach is becoming standard in Software Engineering. It is mainly an incremental way to build applications from components that have been tailored, validated, verified and implemented ad-hoc or reused. Verification and validation during conception as well as optimization during implementation become therefore important activities in applications life-cycle. Another strong need is to ensure that there is no drift between what is specified and the implemented solution. We propose a multi-formalisms approach with two component models. The first one is dedicated to specification and allows to undertake verification and validation. The second one is dedicated to code generation and offers optimization means. Both, they have colored Petri nets as formal basis and the traceability between them is semi-automatic, based on formal rules which ensure lack of drift from specification to implementation.