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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png)
| (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 |
| Total amount of citations (from ISI Web of Science): | 1 |
| Deposited By: | Bernard KAMSU FOGUEM |
Repository Staff Only: item control page
