| 一种基于CSP的面向方面状态图形式化描述方法 |
| |
| 引用本文： | 王斌,刘菲,桂卫华,陈松乔. 一种基于CSP的面向方面状态图形式化描述方法[J]. 计算机工程与科学, 2008, 30(5): 41-43 |
| |
| 作者姓名： | 王斌 刘菲 桂卫华 陈松乔 |
| |
| 作者单位： | 中南大学信息科学与工程学院,湖南,长沙,410083 |
| |
| 基金项目： | 湖南省自然科学基金 , 中南大学理科发展基金 , 中南大学校科研和教改项目 |
| |
| 摘 要： | 面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺
点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。
|
| 关 键 词： | 编织 形式化语义 CSP 面向方面的状态图 |
| 文章编号： | 1007-130X(2008)05-0041-03 |
| 修稿时间： | 2007-09-10 |
A Formal Description Method for CSP-Based Aspect-Oriented Statecharts |
| |
| WANG Bin,LIU Fei,GUI Wei-hua,CHEN Song-qiao. A Formal Description Method for CSP-Based Aspect-Oriented Statecharts[J]. Computer Engineering & Science, 2008, 30(5): 41-43 |
| |
| Authors: | WANG Bin LIU Fei GUI Wei-hua CHEN Song-qiao |
| |
| Abstract: | |
| |
| Keywords: | weaving formal semantics CSP aspect-oriented statechart |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载免费的PDF全文 |
|
