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

An Aspect-Oriented Modeling Method Based on Object-Z

提出一种基于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.