Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00391613
Contributor : Martine Peridier <>
Submitted on : Thursday, June 4, 2009 - 11:46:19 AM
Last modification on : Wednesday, June 24, 2020 - 4:18:09 PM

Identifiers

  • HAL Id : lirmm-00391613, version 1

Citation

Bernard Kamsu-Foguem, 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, 2005, 39, pp.1051-1078. ⟨lirmm-00391613⟩

Share

Metrics

Record views

133