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

An Aspect-Oriented Modeling Method Based on Object-Z

作　　者：虞慧群[1] 许浩[1] 刘冬梅[1] 邵志清[1] 

机构地区：[1]华东理工大学计算机科学工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2007年第3期383-388,共6页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(60473055);上海市浦江人才计划基金(05PJ14030)

摘　　要：提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。Aspect-oriented programming is proposed as a technique for improving separation of con- cerns in software development. However, less attention is paid to modeling and quality assurance at early stages of aspect-oriented software development. This paper proposes an aspect-oriented formal modeling language based on Object-Z and its corresponding modeling method. Aspect specification provides means to observe behaviors of class schema and aspect schema, and to describe their interrelationship. The weaving mechanism systematically integrates these schemas into a complete system model. The method enjoys simpler modeling process and better reusability. Its formality paves the way for system property verification.

关 键 词：面向方面 形式化方法 OBJECT-Z 建模 

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