文献类型：期刊文献

英文题名：Aspect-oriented modeling method based on Object-Z

作者：Yu, Hui-Qun; Xu, Hao; Liu, Dong-Mei; Shao, Zhi-Qing

机构：[1] Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China

年份：2007

卷号：33

期号：3

起止页码：383

外文期刊名：Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology

收录：EI(收录号：20072910703237)

语种：英文

摘要：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 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.