Kamsu-Foguem, Bernard
and Chapurlat, Vincent and Prunet, François
Enterprise model verification and validation : an approach.
(2003)
Annual Reviews in Control, 2 (2). 185-197. ISSN 1367-5788
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 575kB |
Official URL: http://dx.doi.org/10.1016/j.arcontrol.2003.08.001
Abstract
This article presents a verification and validation approach which is used here in order to complete the classical tool box the industrial user may utilize in enterprise modeling and integration domain. This approach, which has been defined independently from any application domain is based on several formal concepts and tools presented in this paper. These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning mechanisms.
| Item Type: | Article |
|---|---|
| Additional Information: | Thanks to Elsevier editor. The definitive version is available at http://www.sciencedirect.com The original PDF of the article can be found at Annual Reviews in Control website : http://www.sciencedirect.com/science/journal/13675788 |
| HAL Id: | hal-03603090 |
| Audience (journal): | International peer-reviewed journal |
| Uncontrolled Keywords: | |
| Institution: | Other partners > IMT Mines Alès (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Other partners > Université de Montpellier 2 (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 03 Oct 2008 11:43 |
Repository Staff Only: item control page
