DocumentCode
2164799
Title
Mastering Specification Heterogeneity with Multifacet Analysis
Author
Attiogbe, J.C.
Author_Institution
LINA - UMR CNRS 6241, Univ. de Nantes, Nantes
fYear
2008
fDate
9-11 April 2008
Firstpage
121
Lastpage
130
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 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.
Keywords
formal specification; mobile computing; systems analysis; formal analysis; mobile ad-hoc network system; multifacet analysis; semantic reference; specification heterogeneity; Ad hoc networks; Conferences; Insurance; Performance analysis; Software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on
Conference_Location
Lillehammer
Print_ISBN
978-0-7695-3388-9
Type
conf
DOI
10.1109/ICSTW.2008.26
Filename
4566999
Link To Document