ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/9-10 - 2005  - pp.1051-1078  - doi:10.3166/jesa.39.1051-1078
TITRE
Vérification de modèles de processus d'entreprise : une approche formelle

RÉSUMÉ
Dans le cycle de vie de développement d'un système industriel, les phases de vérification et, si possible, de validation, impactent notablement sur la qualité du système final, c'est-à-dire son adéquation et sa pertinence vis-à-vis de ses objectifs cibles. Dans le domaine de la modélisation d'entreprise, il existe peu d'outils de vérification et/ou de validation basés sur d'autres approches que la simulation. Cet article présente une approche formelle pour la vérification des modèles de processus d'entreprise par preuve de propriétés. Cette démarche s'appuie tout d'abord sur la construction d'une ontologie du domaine concerné visant à définir rigoureusement le vocabulaire qui sera utilisé pendant les phases de vérification. Elle met ensuite en oeuvre des mécanismes de traduction et de raisonnement utilisant les graphes conceptuels qui s'avèrent aisés à manipuler dans un milieu industriel. Une mise en oeuvre de la démarche de vérification proprement dite est enfin proposée afin de démontrer l'intérêt de ce type d'approche dans le domaine.


ABSTRACT
During the development life cycle of a production system, the quality analysis phase affects the quality of the resulting system. The work presented in this document is about the analysis of operational processes and the formal verification of the process models in order to show that the specified system correctly reflects the requirements with closely reasoned arguments. First, we developed a general framework for properties specification and detection based on the causality of a property model. Secondly, in order to help people have a common understanding of their current enterprise process, we propose a generic method of building formal domain ontologies. Moreover, we use the reasoning mechanisms of conceptual graphs allowing to verify or analyze enterprise process properties and to improve process models on the basis of analysis results.


AUTEUR(S)
Bernard KAMSU-FOGUEM, Vincent CHAPURLAT, François PRUNET

MOTS-CLÉS
modélisation d'entreprise, vérification, validation, approche formelle, graphes conceptuels, ontologie.

KEYWORDS
enterprise modeling, verification, validation, formal methods, conceptual graphs, ontology.

CITATIONS
jesa.revuesonline.com/revues/6/citation/7764.html

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  (324 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier