关键词: 编织 形式化语义 CSP 面向方面的状态图

Abstract:

Aspect-oriented techniques implement the crosscutting problem in software systems by separating concern points. We can realize aspect-oriented modeling by extending UML. This paper adds aspects to statecharts, adopting the UML extension mechanism. It discribes the weaving process between aspects and c
  ore components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to descr  ibe extend- ed statecharts. In this way, it overcomes the flaws of formal dynamic semantics for extended UML statecharts. Finally, it takes ATM as an ex ample to verify the validity of aspect-oriented statechart formal description based on CSP.

Key words: weaving, formal semantics ;CSP, aspect-oriented statechart