文献类型：期刊文献

英文题名：An aspect-base trichotomy modeling approach

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

机构：[1] College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China

年份：2012

卷号：114

起止页码：239

外文期刊名：Advances in Intelligent and Soft Computing

收录：EI(收录号：20120514731107)

语种：英文

外文关键词：Computer circuits - Automation - Formal methods - Control systems - Process control

摘要：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. ? Springer-Verlag Berlin Heidelberg 2012.