Lors de la spécification de systèmes distribués ou complexes, tel que le protocole de communication Fip, le langage naturel s'avère souvent inadéquat pour élaborer une spécification qui soit claire, complète et précise. La seule solution pratique consiste, dès lors, à recourir à un formalisme reposant sur des bases mathématiques solides, comme par exemple les réseaux de Pétri ou L.O.T.O.S. A titre d'exemple, nous avons spécifié Fip en L.O.T.O.S. sur base, notamment, du modèle des réseaux de Pétri élaboré par Nordgard.
la date de réponse | 1990 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Jean FICHEFET (Promoteur) |
---|
Sur base d'une double spécification - Réseaux de Pétri/L.O.T.O.S. - de Fip
Hublet, C. (Auteur). 1990
Student thesis: Master types › Master en sciences informatiques