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.