Home >

news Help

Publication Information


Title
Japanese: 
English:An Aspect-Oriented Approach to Modular Behavioral Specifications 
Author
Japanese: 山田聖, 渡部 卓雄.  
English: Kiyoshi Yamada, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English:Electronic Notes in Theoretical Computer Science, Elsevier 
Volume, Number, Page Vol. 163    No. 1    pp. 45-56
Published date Sept. 19, 2006 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English:1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems 
Conference site
Japanese: 
English:Nuremberg 
DOI https://doi.org/10.1016/j.entcs.2006.07.002
Abstract 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.

©2007 Tokyo Institute of Technology All rights reserved.