契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa

• Item type: Trans(1)
• 公開日: 2005-08-15
• タイトル: 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
• タイトル / 言語: en
• タイトル: Moxa: An Aspect-oriented Behavioral Interface Specification Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科 現在，独立行政法人産業技術総合研究所情報セキュリティ研究センター
• 著者所属: 東京工業大学情報理工学研究科計算工学専攻
• 著者所属(英): en
• 著者所属(英): School of Information Science Japan Advanced Institute of Science and Technology,Presently with Research Center for Information Security National Institute of Advanced Industrial Science and Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science Tokyo Institute of Technology
• 著者名: 山田, 聖; 渡部, 卓雄
• 著者名(英): Kiyoshi, Yamada; Takuo, Watanabe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々は，契約による設計（Design by Contract，DbC）に基づく，アスペクト指向振舞インタフェース仕様記述言語Moxa の設計・開発を行っている．DbC は，サービスの提供者と利用者の間で，利用者が満たすべき条件（事前条件）と提供者がもたらす結果（事後条件）を契約として取り決め，責任の切り分けやサービスの利用方法と得られる結果を明確にすることで，ソフトウェアの品質を向上させる．Java のためのDbC に基づく振舞インタフェース仕様記述言語の1 つであるJML（Java Modeling Language）は，メソッドごとに事前条件・事後条件の記述を可能にするが，メソッド数の増加や提供するサービスの高機能化がこれらの条件を複雑なものにし，表明の整合性・表明とプログラムの一貫性を維持しつつ，これらを修正・拡張することを難しくする．Moxa は，複雑なオブジェクトの振舞いをいくつかの独立した側面の合成としてとらえることができる場合に，それらを表明アスペクトと呼ばれる独立したモジュールに分割して記述することを可能にする．この，オブジェクトの振舞いのある側面は，JML による記述では複数のメソッドに対する表明を横断する形で存在していたものである．本論文では，Moxa が提供する表明記述のモジュール化機構と，その記述方式の説明を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we report the design and implementation of Moxa ? a behavioral interface specification language that supports DbC (Design by Contract) based specifications. In DbC methodology, a contract arranges responsibilities between a user and a supplier of the service. This improves software quality because this makes clear who has responsibility, how to use, and what is the result of the service. With JML (Java Modeling Language), a DbC based behavioral interface specification language for Java, we can declare assertions as pre/post-conditions for each method. However, as the number of methods increases and the functionalities of services become complex, assertions for each method gets complicated. This makes it difficult to keep the consistency between assertions and methods while we are modifying them. Using Moxa, we can divide and describe assertions into several modules called assertion-aspects, when we can regard the behavior of the object(s) as the composition of some independent aspects. In JML style specification declaration, the aspects are crosscut over the assertions declared for difference methods. In this paper, we show the modularization mechanism for assertion declarations and description method provided by Moxa.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 46, 号 SIG11(PRO26), p. 27-44, 発行日 2005-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会