文献类型：期刊文献

中文题名：一种基于Object-Z的面向方面建模方法

英文题名：An Aspect-Oriented Modeling Method Based on Object-Z

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

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

年份：2007

卷号：33

期号：3

起止页码：383

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2004】；CSCD:【CSCD2011_2012】；

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

语种：中文

中文关键词：面向方面;形式化方法;Object-Z;建模

外文关键词：aspect orientation; formal method; Object-Z ; modeling

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