Title :
The Semantics Research of StateCharts
Author :
Li, Ming ; Tong, Ge-ming ; Nian, Fu-zhong
Author_Institution :
Sch. of Comput. & Commun., Lanzhou Univ. of Technol., Lanzhou, China
Abstract :
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.
Keywords :
Unified Modeling Language; formal logic; formal specification; behavioral modeling language; formal specification; formalization method; reactive systems; semantics research; state charts; temporal description logic; Analytical models; Cognition; Object oriented modeling; Semantics; Software; Syntactics; Unified modeling language; descriptioni logic; romalization; statecharts; temporal logic;
Conference_Titel :
Information Processing (ISIP), 2010 Third International Symposium on
Conference_Location :
Qingdao
Print_ISBN :
978-1-4244-8627-4
DOI :
10.1109/ISIP.2010.59
