A formal verification framework and associated tools for enterprise modeling : application to UEML
Résumé
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.
Domaines
Modélisation et simulationOrigine | Fichiers produits par l'(les) auteur(s) |
---|