Mastering Specification Heterogeneity with Multifacet Analysis
Christian Attiogbé · 2008
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.