The Semantics Research of StateCharts
Ming Li, Ge-ming Tong, Fuzhong Nian · 2010
State charts is widely used as a behavioral modeling language for reactive systems for its concise and intuitive expression, especially a few high security system. However, the lack of formal semantics makes it difficult to analyze and validate the system which it described. The paper proposed a formalization method based on temporal description logic. Firstly, temporal description logic (TDLs) is proposed by the temporal extending the description logic, which is the formal specification of the dynamic and temporal semantics. Then, based on definition of the syntax of formalization, the semantics of TDLs of state charts is given. Finally, the feasibility is also verified by an example.