ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 15/2 - 2001  - pp.247-276  - doi:10.3166/ria.15.247-276
TITRE
Vérification et validation de modèles CommonKADS par réseaux de Petri

RÉSUMÉ

Dans cet article, nous présentons une méthode pour transformer un modèle de spécification informel, établi selon la méthodologie CommonKADS de conception de systèmes de connaissances, en un modèle de spécification opérationnel basé sur les réseaux de Petri. Deux langages de spécification sont fournis aux experts afin de compléter préalablement les spécifications. Le processus d’opérationalisation permet ensuite de vérifier et valider la partie comportementale des spécifications. La simulation du modèle opérationnel finalement obtenu contribue à la fois à valider le comportement du système et à faciliter le passage de la spécification à la conception.

ABSTRACT

In this paper, we propose a method to transform an informal specification model, elaborated in respect with the methodology of knowledge system design CommonKADS, into an operational specification model based on Petri nets. We provide the experts with two specification languages allowing them to complete first the specification. Then, the operationalizing process allows the behavioral part of the specification model to be completed and validated. Simulating the finally obtained operational model contributes both to validating the system behavior and to making the passage from specification to design easier.

AUTEUR(S)
Lucile TORRES, Claudia FRYDMAN

MOTS-CLÉS
modèle de connaissances, CommonKADS, réseaux de Petri, vérification et validation du comportement.

KEYWORDS
knowledge model, CommonKADS, Petri nets, behavior verification and validation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (461 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier