DocumentCode
3391783
Title
Semantic modeling in satellite network simulation
Author
Lin, Qi ; Xiong, Zhang ; Li, Zhi
Author_Institution
Sch. of Comput., Beijing Univ. of Aeronaut. & Astronaut., Beijing
fYear
2008
fDate
10-12 Oct. 2008
Firstpage
877
Lastpage
881
Abstract
Although there are abundant achievements in the area of satellite network simulation, but there is no formal description for the simulation objects, which leads to the lack of semantic support in the simulation. In order to guarantee the reusability and interoperability of heterogeneous models/services in satellite network simulation and provide verification support, an ontology-based method is proposed. Based on the concept of simulation verification with semantic support, the purpose and requirements of applying ontology engineering in satellite network simulation are identified. With the idea of how to apply the approach, the content of satellite network ontology is defined, and ontology models are set up with predicates description. A test is performed as to a specific simulation task to perform simulation of coverage characteristics in satellite network. It is concluded that it is feasible to apply ontology engineering in the area of satellite network simulation to provide semantic support, and next steps in research are identified.
Keywords
computational linguistics; digital simulation; formal verification; ontologies (artificial intelligence); open systems; satellite communication; telecommunication computing; heterogeneous model; interoperability; ontology; satellite network simulation; semantic modeling; verification support; Computational modeling; Computer architecture; Electronic mail; Laboratories; Logic; Ontologies; Performance evaluation; Satellites; Software testing; Space technology;
fLanguage
English
Publisher
ieee
Conference_Titel
System Simulation and Scientific Computing, 2008. ICSC 2008. Asia Simulation Conference - 7th International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4244-1786-5
Electronic_ISBN
978-1-4244-1787-2
Type
conf
DOI
10.1109/ASC-ICSC.2008.4675486
Filename
4675486
Link To Document