A formal verification framework and associated tools for enterprise modeling : application to UEML - Archive ouverte HAL Access content directly
Journal Articles Computers in Industry Year : 2006

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.
Fichier principal
Vignette du fichier
Kamsu_1465_1.pdf (1.06 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
1 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More