A formal verification framework and associated tools for enterprise modeling : application to UEML

Vincent Chapurlat; Bernard Kamsu-Foguem; François Prunet

doi:10.1016/j.compind.2005.06.001

Retour

A formal verification framework and associated tools for enterprise modeling : application to UEML

Article de revue

Open Access

Avec comité de lecture

A formal verification framework and associated tools for enterprise modeling : application to UEML

Vincent Chapurlat, Bernard Kamsu-Foguem et François Prunet

Computers in Industry, Vol.5(2), pp.153-166

2006

DOI: https://doi.org/10.1016/j.compind.2005.06.001

Résumé

UEML

Property

Validation

Verification

Enterprise modeling

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: A formal verification framework and associated tools for enterprise modeling : application to UEML
Créateurs - sans rôle: Vincent Chapurlat - École Nationale Supérieure des Mines de Paris
Bernard Kamsu-Foguem - École Nationale Supérieure des Mines de Paris
François Prunet - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Détails de publication: Computers in Industry, Vol.5(2), pp.153-166
Identifiants: 99152260609311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Journal article
Champs locaux: hal-03597576