Mastering Specification Heterogeneity with Multifacet Analysis

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 referred 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.