OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A formal verification framework and associated tools for enterprise modeling : application to UEML

Chapurlat, Vincent and Kamsu Foguem, Bernard and Prunet, François A formal verification framework and associated tools for enterprise modeling : application to UEML. (2006) Computers in Industry, Vol. 5 (N° 2). pp. 153-166. ISSN 0166-3615

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1088Kb

Official URL: http://dx.doi.org/10.1016/j.compind.2005.06.001

Abstract

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties.

Item Type:Article
Additional Information:This publication is available on http://www.sciencedirect.com/science/journal/01663615
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
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
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

Repository Staff Only: item control page