Modeling heterogeneous points of view with modhel'x
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Hi-index | 0.00 |
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.