A formal verification framework and associated tools for enterprise modeling : application to UEML - Archive ouverte HAL
Article Dans Une Revue Computers in Industry Année : 2006

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.
Fichier principal
Vignette du fichier
Kamsu_1465_1.pdf (1.06 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03597576 , version 1 (04-03-2022)

Identifiants

Citer

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet. A formal verification framework and associated tools for enterprise modeling : application to UEML. Computers in Industry, 2006, 5 (2), pp.153-166. ⟨10.1016/j.compind.2005.06.001⟩. ⟨hal-03597576⟩
8 Consultations
23 Téléchargements

Altmetric

Partager

More