A formal verification framework and associated tools for enterprise modeling : application to UEML
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.
Domains
Modeling and Simulation
Origin : Files produced by the author(s)