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

• 作者: 刘菲 桂卫华 王斌 陈松乔
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 编织 形式化语义 CSP 面向方面的状态图
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 图形与图像
• 页码范围: 41-43,83
• 页数: 4页
• 分类号: TP311
• 字数: 2376字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.05.014

摘要

面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模.本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML,描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点.最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	桂卫华	中南大学信息科学与工程学院	695	7452	38.0	56.0
2	王斌	中南大学信息科学与工程学院	208	1885	21.0	31.0
3	陈松乔	中南大学信息科学与工程学院	316	3775	27.0	45.0
4	刘菲	中南大学信息科学与工程学院	39	154	7.0	10.0