Home >

news ヘルプ

論文・著書情報


タイトル
和文:契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa 
英文:Moxa: An Aspect-oriented Behavioral Interface Specification Language 
著者
和文: 山田聖, 渡部卓雄.  
英文: Kiyoshi Yamada, Takuo Watanabe.  
言語 Japanese 
掲載誌/書名
和文:情報処理学会論文誌 プログラミング 
英文:IPSJ Transactions on Programming 
巻, 号, ページ Vol. 46    No. SIG-11 (PRO 26)    pp. 27-44
出版年月 2005年8月15日 
出版者
和文:情報処理学会 
英文:Information Processing Society of Japan 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 
公式リンク http://id.nii.ac.jp/1001/00016611/
 
アブストラクト 我々は，契約による設計（Design by Contract，DbC）に基づく，アスペクト指向振舞インタフェース仕様記述言語Moxa の設計・開発を行っている．DbC は，サービスの提供者と利用者の間で，利用者が満たすべき条件（事前条件）と提供者がもたらす結果（事後条件）を契約として取り決め，責任の切り分けやサービスの利用方法と得られる結果を明確にすることで，ソフトウェアの品質を向上させる．Java のためのDbC に基づく振舞インタフェース仕様記述言語の1 つであるJML（Java Modeling Language）は，メソッドごとに事前条件・事後条件の記述を可能にするが，メソッド数の増加や提供するサービスの高機能化がこれらの条件を複雑なものにし，表明の整合性・表明とプログラムの一貫性を維持しつつ，これらを修正・拡張することを難しくする．Moxa は，複雑なオブジェクトの振舞いをいくつかの独立した側面の合成としてとらえることができる場合に，それらを表明アスペクトと呼ばれる独立したモジュールに分割して記述することを可能にする．この，オブジェクトの振舞いのある側面は，JML による記述では複数のメソッドに対する表明を横断する形で存在していたものである．本論文では，Moxa が提供する表明記述のモジュール化機構と，その記述方式の説明を行う．

©2007 Tokyo Institute of Technology All rights reserved.