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
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;
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
DOI :
10.1109/ASC-ICSC.2008.4675486