Enterprise model verification and validation: an approach

Vincent Chapurlat (1) , Bernard Kamsu-Foguem (1) , François Prunet (2)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier

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.

Mots clés: Validation, Proof, Enterprise modeling, Verification

Domaines: Génie logiciel [cs.SE]; Complexité [cs.CC]

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet. Enterprise model verification and validation: an approach. Annual Reviews in Control, 2003, 27 (2), pp.185-197. ⟨10.1016/j.arcontrol.2003.08.001⟩. ⟨hal-00354781⟩