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 œuvre 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 œuvre 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.
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2006, N/A, pp.N/A
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00379996
Contributeur : Martine Peridier <>
Soumis le : mercredi 29 avril 2009 - 16:28:58
Dernière modification le : jeudi 24 mai 2018 - 15:59:21

Identifiants

  • HAL Id : lirmm-00379996, version 1

Citation

Vincent Chapurlat, François Prunet. Vérification de modèles de processus d'entreprise : Une approche formelle. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2006, N/A, pp.N/A. 〈lirmm-00379996〉

Partager

Métriques

Consultations de la notice

95