Mastering Specification Heterogeneity with Multifacet Analysis - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Mastering Specification Heterogeneity with Multifacet Analysis

Résumé

We address the specification and the formal analysis of systems involving multiple facets. This leads to heterogeneous specifications that cover the different facets of these systems. A method, multifacet specification and analysis, is proposed to master the heterogeneity of systems by considering an abstract reference model that is refered to as a semantic reference for the specific models which are built from the reference one. Experiments achieved with Mobile Ad-hoc Network system and the obtained results are presented
Fichier principal
Vignette du fichier
movah08_final_attiogbe.pdf (168.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00482872 , version 1 (12-05-2010)

Identifiants

  • HAL Id : hal-00482872 , version 1

Citer

Christian Attiogbe. Mastering Specification Heterogeneity with Multifacet Analysis. Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway. ⟨hal-00482872⟩
132 Consultations
127 Téléchargements

Partager

More