OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Vérification de modèles de processus d’entreprise : une approche formelle

Kamsu-Foguem, Bernard and Chapurlat, Vincent and Prunet, François Vérification de modèles de processus d’entreprise : une approche formelle. (2005) Journal Européen des Systèmes Automatisés (JESA), vol. 3 (n° 9-1). pp. 1051-1078. ISSN 1269-6935

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
341kB

Official URL: http://dx.doi.org/10.3166/jesa.39.1051-1078

Abstract

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.

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Ecole des Mines d'Alès (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Other partners > Université de Montpellier 2 (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Bernard KAMSU FOGUEM
Deposited On:02 Oct 2008 14:15

Repository Staff Only: item control page