Skip to Main content Skip to Navigation
Conference papers

Mastering Specification Heterogeneity with Multifacet Analysis

Abstract : 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
Document type :
Conference papers
Complete list of metadata
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Wednesday, May 12, 2010 - 11:37:00 AM
Last modification on : Wednesday, April 27, 2022 - 3:49:08 AM
Long-term archiving on: : Thursday, September 16, 2010 - 2:21:48 PM


Files produced by the author(s)


  • HAL Id : hal-00482872, version 1


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



Record views


Files downloads