Sciweavers

Share
ENTCS
2006

An Aspect-Oriented Approach to Modular Behavioral Specification

9 years 9 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
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 the 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. Key words: Design by Contract, Assertion Aspect, Java Modeling Language, AspectJ.
Kiyoshi Yamada, Takuo Watanabe
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Kiyoshi Yamada, Takuo Watanabe
Comments (0)
books