Formalisation of enterprise modelling standards using UML and the B method.

Abstract : This paper deals with the verification of the existing enterprise modelling standards. Our approach is based on the UML meta-modelling of enterprise standards in order to establish enterprise constructs and to use the formal B method to cover verification issues. Two points are discussed : the checking of the global consistency of the standard itself, and the verification of the instantiation of constructs to design particular enterprise models. This work is illustrated using the ENV12204/N177 particular enterprise constructs standard.
Type de document :
Communication dans un congrès
8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. ESOCE, pp.93-101, 2002, ISBN : 0 85358 113 4
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00120944
Contributeur : Hervé Panetto <>
Soumis le : vendredi 22 décembre 2006 - 18:07:49
Dernière modification le : mardi 24 avril 2018 - 13:35:59
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:01:34

Fichier

panetto_et_al_ice2002.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00120944, version 1

Collections

Citation

Hervé Panetto, Jean-François Pétin, Dominique Méry. Formalisation of enterprise modelling standards using UML and the B method.. 8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. ESOCE, pp.93-101, 2002, ISBN : 0 85358 113 4. 〈hal-00120944〉

Partager

Métriques

Consultations de la notice

293

Téléchargements de fichiers

73