Sur base d'une double spécification - Réseaux de Pétri/L.O.T.O.S. - de Fip

  • Corine Hublet

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

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éponse1990
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurJean FICHEFET (Promoteur)

Contient cette citation

'