Abstract FR:

Nous cherchons à apporter une aide à la spécification des systèmes modulaires. Nous fournissons un contexte théorique utilisant la théorie des graphes, la modélisation probabiliste et la géométrie euclidienne pour fonder nos propositions. Celles-ci sont de trois ordres : - réflexion sur ce qu'est la qualité globale de la spécification d'un système modulaire. Ces réflexions conduisent à la définition d'un indice quantifiant le niveau de qualité. - proposition d'outils graphiques représentant à la fois un modèle de structure et un modèle de communication. Ces outils se prêtent à intégration dans des environnements de spécification. - définition d'algorithmes efficaces permettant de suggérer et d'évaluer des transformations visant à améliorer la qualité de la spécification étudiée. L’ensemble est illustré par un exemple spécifiant en LDS un Benchmark de la spécification formelle.