Article Dans Une Revue Journal Européen des Systèmes Automatisés Année : 2005

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.

Fichier principal
Vignette du fichier
hal-00475983.pdf (750.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00475983 , version 1 (31-05-2022)

Licence

Identifiants

  • HAL Id : hal-00475983 , version 1

Citer

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, 2005, vol. 39 n° 9-10., pp.1051-1078. ⟨hal-00475983⟩
371 Consultations
112 Téléchargements

Partager

  • More