07/12/2000: Anca Muscholl (LIAFA)
Sémantique et analyse de scénarios de diagrammes de séquence
Résumé
Le langage des diagrammes de séquence (MSC) permet de décrire
des spécifications incomplètes (scénarios) de communication dans un
environment distribué. La sémantique d'ordres partiels rend la
spécification basée sur les MSC aisée, tandis que la vérification de
nombreuses propriétés de base peut être intractable.
Le but de cet exposé est d'introduire les MSC et les high-level MSC,
leurs sémantique et les liens avec d'autres formalismes de
spécification.
Ensuite je vais présenter quelques résultats de vérification
automatique de HMSC.