Home >

news Help

Publication Information


Title
Japanese: 
English:An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components 
Author
Japanese: 山田聖, 渡部 卓雄.  
English: Kiyoshi Yamada, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page         pp. 360-365
Published date Feb. 15, 2005 
Publisher
Japanese: 
English:ACTA Press 
Conference name
Japanese: 
English:IASTED International Conference on Software Engineering (SE 2005) 
Conference site
Japanese: 
English:Innsbruck 
Official URL http://www.actapress.com/Abstract.aspx?paperId=19139
 
Abstract Design-by-Contract (DbC) is a software development method that utilizes assertions in a principled manner, and is beneficial for building reliable software systems. How ever, in our experience of applying DbC to the development of a working application, we faced a difficulty in dealing with assertions that have properties spanning over the nat ural program structure. Such crosscutting properties make each assertion bulky and thus can be obstacles for devel oping, maintaining or extending large-scale systems. Our solution to this problem is to introduce a new modulariza tion mechanism based on assertion aspect, a new notion in aspect-oriented technology, to capture the crosscutting properties. We have designed a behavioral interface spec ification language Moxa that provides the mechanism. To examine our idea before developing Moxa tools, we have re-written the specification of our motivating application using AspectJ as a vehicle for prototyping modules for as sertion aspects. Then we have compared it to our origi nal, traditional DbC-based specification written in the Java Modeling Language (JML). The result shows 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.