An Aspect-Oriented Approach to Modular Behavioral Specification

作     者：Yamada, Kiyoshi Watanabe, Takuo 

作者机构：Natl Inst Adv Ind Sci & Technol Res Ctr Informat Secur Tokyo Japan Tokyo Inst Technol Dept Comp Sci Tokyo Japan 

出 版 物：《ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE》 (理论计算机科学电子札记)

年 卷 期：2006年第163卷第1期

页      面：45-56页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Japanese Ministry of Education  Culture  Sports  Science and Technology 

主　　题：Design by Contract Assertion Aspect Java Modeling Language AspectJ 

摘      要：Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interface specification language Moxa, an extension of JML. Moxa provides a new modularization mechanism called assertion aspect that can capture the crosscutting properties among assertions. In this paper, we briefly explain the notion of assertion aspects and the design of Moxa, and then we show an example specification. By comparing the specification to its JML counterpart, we show that the use of assertion aspects clarifies the large, complex specification and greatly simplifies each assertion in the specification.