Vérification de modèles de processus d’entreprise : une approche formelle. - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Article Dans Une Revue Journal Européen des Systèmes Automatisés (JESA) 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
kamsu_994.pdf (621.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03482851 , version 1 (16-12-2021)

Identifiants

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 (JESA), 2005, 39 (9-10), pp.1051-1078. ⟨10.3166/jesa.39.1051-1078⟩. ⟨hal-03482851⟩
303 Consultations
34 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More