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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00120944
Contributor : Hervé Panetto <>
Submitted on : Friday, December 22, 2006 - 6:07:49 PM
Last modification on : Tuesday, April 24, 2018 - 1:35:59 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 8:01:34 PM

File

panetto_et_al_ice2002.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.93-101. ⟨hal-00120944⟩

Share

Metrics

Record views

294

Files downloads

73