Spécification avec les réseaux formels
BON ; EL KOURSI ; YIM
Type de document
COMMUNICATION AVEC ACTES NATIONAL (ACTN)
Langue
francais
Auteur
BON ; EL KOURSI ; YIM
Résumé / Abstract
Le but de cet article est de présenter une méthode visant à analyser et éliminer des sources d'erreurs lors de la phase de spécification. Il s'agit aussi d'offrir aux donneurs d'ordres, qui généralement ne sont pas des experts des méthodes formelles, un outil graphique permettant une meilleure compréhension de la spécification formelle écrite par les concepteurs. Nous proposons d'utiliser ici les réseaux formels pour décrire le comportement attendu du logiciel à construire. Basée sur l'abstraction des traitements, le comportement dynamique et la description graphique, cette nouvelle approche permet au concepteur de combiner des techniques variées afin d'éliminer les erreurs pendant la phase de spécification. Ces principaux concepts nous amènent aux réseaux de Petri, aux langages formels (Z) et à la programmation à contraintes. Bien que la théorie associée à cette approche ne soit pas totalement définie, on peut considérer cette méthode comme une aide à la conception et à la compréhension de spécification formelle.