A Multi Formalisms Prototyping Approach from Formal Description to Implementation of Distributed Systems

A. Diagne, F. Kordon

Masi-IBP 1996/18: Rapport de Recherche Masi / Masi research reports
17 pages - Mai/May 1996 - Document en anglais.

PostScript : 53 Ko /Kb

Titre français : Une approche de prototypage multi-formalismes pour la description et la réalisation de systèmes répartis
Titre anglais : A Multi Formalisms Prototyping Approach from Formal Description to Implementation of Distributed Systems

Résumé : Cet article présente une méthodologie pour la modelisation et de prototypage de systèmes répartis considérant à la fois les aspects conceptuels et opérationnels. Au niveau conceptuel, nous insistons sur la définition et la vérification des propriétés attendues du système. Au niveau opérationnel, nous insistons sur les propriétés permettant d'optimiser le code généré à partir du modèle initial. La traçabilité entre les deux niveaux et maintenue de manière semi-automatique; elle permet d'écarter les informations contenues dans le modèle mais qui sont inutiles pour la génération de code. Les propriétés du modèle conceptuel sont préservées durant la transformation.

Abstract : This paper proposes a methodology to build safe distributed systems that considers both conceptual and operational description aspects. At the conceptual level, we focus on the safety properties expected from the system. Such properties are stated and then verified. At the operational level, we focus on properties addressing the optimization of the generated code. Traceability between the two levels is managed in a satisfactory semi-automatic way. It preserves the properties proved at the first level and discards informations that are not relevant for code generation.

Mots-clés : Spécification formelle, Validation, Vérification, Prototypage, Systèmes Répartis

Key-words : Formal Specification, Validation, Verification, Prototyping, Distributed

Publications internes Masi 1996 / Masi research reports 1996