• Accueil LIP6
  • Page : 'rapport_recherche' inconnue (menus.php)

LIP6 1997/012

  • Rapports de recherche
    Formalisation de la création de services dans le réseau intelligent
  • M.-P. Gervais, A. Diagne
  • 6 pages - 27/07/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.012.ps.gz - 750 Ko
  • Contact : Marie-Pierre.Gervais (at) nulllip6.fr
  • Ancien Thème : SRC
  • La création de service dans le réseau intelligent est un problème de qualité du logiciel qui inclut les activités d'analyse, conception, implantation, déploiement et maintenance. Afin d'assurer cette qualité, la validation et la vérification formelle de la spécification sont nécessaires. La validation d'un service consiste à vérifier la cohérence globale de son analyse et de sa conception tandis que la vérification consiste en la preuve formelle de propriétés structurelles et comportementales que l'on en attend.
    Nous proposons dans ce papier une approche multi-formalismes, couplant l'utilisation des paradigmes orienté-objet et réseau de Petri, qui permet à un concepteur de valider et vérifier une spécification de service. Nous mettons à sa disposition un outil de preuve lui permettant de réaliser ces activités. Ce papier décrit cet outil de preuve et ainsi qu'un exemple de son utilisation.
  • Mots clés : réseau intelligent, service de télécommunication, création de service, paradigme orienté-objet, réseau de Petri, validation, vérification, outil de preuve
  • Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr
Mentions légales
Carte du site