Formalisation of enterprise modelling standards using UML and the B method. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

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

Résumé

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

Dates et versions

hal-00120944 , version 1 (22-12-2006)

Identifiants

  • HAL Id : hal-00120944 , version 1

Citer

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. pp.93-101. ⟨hal-00120944⟩
141 Consultations
52 Téléchargements

Partager

Gmail Facebook X LinkedIn More