%0 Journal Article
%T 一种基于Object-Z的面向方面建模方法
%A 虞慧群
%A 许浩
%A 刘冬梅
%A 邵志清
%J 华东理工大学学报
%P 383-388
%D 2007
%X 提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。
%K 面向方面
%K 形式化方法
%K Object-Z
%K 建模
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20070392&flag=1