A formal approach based on aspect-oriented statecharts

作者：Wen Xinxiu^*; Zheng Hong; Yu Huiqun

来源：Journal of Computational Information Systems, 2011, 7(10): 3447-3454.

• Aspect-orientation
• Aspect-oriented
• Computation tree logic
• CTL
• Dynamic behaviors
• Formal approach
• Hierarchical automaton
• Statecharts
• System property
• System requirements

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
• 单位华东理工大学