A formal verification framework and associated tools for enterprise modeling : application to UEML - Archive ouverte HAL Accéder directement au contenu
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⟩
4 Consultations
11 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More