文献类型：会议论文

英文题名：An Aspect-Base Trichotomy Modeling Approach

作者：Wen, Xinxiu[1];Yu, Huiqun[1]

机构：[1]E China Univ Sci & Technol, Coll Informat Sci & Engn, Shanghai 200237, Peoples R China

会议论文集：Pacific-Asia Conference on Knowledge Engineering and Software Engineering

会议日期：DEC 19-20, 2009

会议地点：Shenzhen, PEOPLES R CHINA

语种：英文

外文关键词：Component; aspect-oriented; statecharts; trichotomy

摘要：This paper proposes a formal method for modeling and analyzing automatic control systems with statecharts and temporal logic based on aspect-base trichotomy. System model is composed of component model, aspect model and weaving model. Dynamic behaviors of automatic control systems are formalized by statecharts, while their properties are specified by temporal logic. We illustrate the model with an example involving a FAN control system.