A constructing method of real-time semantic system based on the Protégé

摘要

In the process of model transformation for complex real-time system, how to keep the semantic consistency is important. In this paper, on the basis of introduction to real-time semantic extension system, a describing method for real-time semantics with Protégé is present and the static semantics system is built with this idea. By using this method, the information of the static semantic in real-time system can be expressed completely, which is helpful for solving the semantic consistency problem in the process of model transformation.