一种基于CSP的面向方面状态图形式化描述方法  

A Formal Description Method for CSP-Based Aspect-Oriented Statecharts

作　　者：王斌[1] 刘菲[1] 桂卫华[1] 陈松乔[1] 

机构地区：[1]中南大学信息科学与工程学院,湖南长沙410083

出　　处：《计算机工程与科学》2008年第5期41-43,83,共4页Computer Engineering & Science

基　　金：湖南省自然科学基金资助项目(05JJ40132);中南大学理科发展基金资助项目;中南大学博士后科学基金资助项目

摘　　要：面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。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 core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extend- ed statecharts. In this way, it overcomes the flaws of formal dynamic semantics for extended UML statecharts. Finally, it takes ATM as an example to verify the validity of aspect-oriented statechart formal description based on CSP.

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP311.134[自动化与计算机技术—计算机科学与技术]