文献类型：期刊文献

英文题名：A formal approach based on aspect-oriented statecharts

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

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

年份：2011

卷号：7

期号：10

起止页码：3447

外文期刊名：Journal of Computational Information Systems

收录：EI(收录号：20114114415548)

语种：英文

外文关键词：Computation theory

摘要：Statecharts have been widely used in the industry as a kind of visual formalization tool. A formal approach with aspect-oriented statecharts is presented to describe dynamic behaviors of automatic control system so as to solve such questions as crosscutting and tangling. System requirements are captured by aspect-oriented use cases diagrams and are formalized as aspect-oriented statecharts, while systems properties are specified by computation tree logic. Thus, the certain desired system properties can be verified accordingly. ? 2011 Binary Information Press.