| 一种基于Object-Z的面向方面建模方法 |
| |
| 引用本文： | 虞慧群,许浩,刘冬梅,邵志清.一种基于Object-Z的面向方面建模方法[J].华东理工大学学报(自然科学版),2007,33(3):383-388. |
| |
| 作者姓名： | 虞慧群 许浩 刘冬梅 邵志清 |
| |
| 作者单位： | 华东理工大学计算机科学工程系,上海,200237;华东理工大学计算机科学工程系,上海,200237;华东理工大学计算机科学工程系,上海,200237;华东理工大学计算机科学工程系,上海,200237 |
| |
| 基金项目： | 国家自然科学基金(60473055);;上海市浦江人才计划基金(05PJ14030) |
| |
| 摘 要： | 提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。
|
| 关 键 词： | 面向方面 形式化方法 Object-Z 建模 |
| 文章编号： | 1006-3080（2007）03-0383-06 |
| 修稿时间： | 2006-08-09 |
An Aspect-Oriented Modeling Method Based on Object-Z |
| |
| YU Hui-qun,XU Hao,LIU Dong-mei,SHAO Zhi-qing.An Aspect-Oriented Modeling Method Based on Object-Z[J].Journal of East China University of Science and Technology,2007,33(3):383-388. |
| |
| Authors: | YU Hui-qun XU Hao LIU Dong-mei SHAO Zhi-qing |
| |
| Institution: | Department of Computer Science and Engineering;East China University of Science and Technology;Shanghai 200237;China |
| |
| Abstract: | Aspect-oriented programming is proposed as a technique for improving separation of concerns 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 sy... |
| |
| Keywords: | aspect orientation formal method Object-Z modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
