首页    期刊浏览 2024年12月11日 星期三
登录注册

文章基本信息

  • 标题:契約によるクラスとアスペクト間の影響解析
  • 本地全文:下载
  • 作者:篠塚 卓 ; 鵜林 尚靖 ; 四野見 秀明
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2007
  • 卷号:24
  • 期号:2
  • 页码:2_133-2_149
  • DOI:10.11309/jssst.24.2_133
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    アスペクト指向プログラミング(AOP)では,ロギングのような横断的関心事の存在を考慮せずにクラスを設計出来る.この性質は,obliviousnessと呼ばれる.一方で,プログラムの振る舞いは横断的関心事の織り込みによって決まるため,織り込みされているプログラムの実際の振る舞いを知ることは容易ではなく,プログラムに誤りが混入することがある.この問題を解決するため,本論文は織り込みの正しさを契約に基づき検証する手法としてWbC (Weaving by Contract)を提案する.WbCにおける契約は,織り込みに対する事前,事後,不変条件から成り,織り込みの前後でプログラムがどのような振る舞いを持つべきかが指定できる.本論文では,また,WbCの記述言語としてCOW (COntract Writing language)を提案する.COWでは,プログラムの振る舞いをプログラム内の制御フローやデータフローの特徴として表し,これを述語論理により記述出来るようにする.WbCは,織り込みがプログラマの意図通り行われるために役立つ.

国家哲学社会科学文献中心版权所有