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

fYear

2010

Firstpage

267

Lastpage

271

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Processing (ISIP), 2010 Third International Symposium on

Conference_Location

Qingdao

Print_ISBN

978-1-4244-8627-4

Type

conf

DOI

10.1109/ISIP.2010.59

Filename

5669048