一种基于Object-Z的面向方面建模方法

• 作者: 刘冬梅 虞慧群 许浩 邵志清
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 面向方面 形式化方法 Object-Z 建模
• 年，卷（期）: 2007,（3）
• 页码范围: 383-388
• 页数: 6页
• 分类号: TP311.52
• 字数: 3501字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2007.03.020

摘要

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法.方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型.该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵志清	华东理工大学计算机科学工程系	90	761	14.0	24.0
2	虞慧群	华东理工大学计算机科学工程系	113	814	14.0	24.0
3	刘冬梅	华东理工大学计算机科学工程系	16	136	6.0	11.0
4	许浩	华东理工大学计算机科学工程系	3	3	1.0	1.0