A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

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.

• Type: Journal
• Year: 2006
• Where: CII
• Authors: Vincent Chapurlat, Bernard Kamsu Foguem, François Prunet
• Keywords: CII 2006, Enterprise Modeling, Properties Specification, Validation Approach