Formalization of Service Creation in Intelligent Network - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

Formalization of Service Creation in Intelligent Network

Formalisation de la création de services dans le réseau intelligent

Résumé

The service creation in Intelligent Network is a software quality problem that encompasses several activities, namely specification, design, implementation, deployment and maintenance. In order to ensure the software quality, validation and formal verification are required. Validation of a service consists of verifying the global coherence of its specification and design, while verification consists of formal proof of structural and behavioral expected properties. We propose in this paper a multi-formalism approach, coupling the use of Object-Oriented (OO) and Petri Nets (PN) paradigms, which enables a designer to validate and to verify a service specification. We provide him a proving toolset in order to achieve these activities. This paper describes this proving toolset and its experience on an exemple.
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.
Fichier principal
Vignette du fichier
lip6.1997.012.pdf (118.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02547592 , version 1 (20-04-2020)

Identifiants

  • HAL Id : hal-02547592 , version 1

Citer

Marie-Pierre Gervais, Alioune Diagne. Formalization of Service Creation in Intelligent Network. [Research Report] lip6.1997.012, LIP6. 1997. ⟨hal-02547592⟩
26 Consultations
15 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More