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

文章基本信息

  • 标题:メソッドの自動生成を用いたOCLのJMLへの変換
  • 本地全文:下载
  • 作者:尾鷲 方志 ; 岡野 浩三 ; 楠本 真二
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2010
  • 卷号:27
  • 期号:2
  • 页码:2_106-2_111
  • DOI:10.11309/jssst.27.2_106
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    本論文ではOCL(Object Constraint Language)からのJML(Java Modelling Language)への変換手法を提案する.UML/OCL記述からJMLアノテーションつきのJavaのスケルトンコードを自動生成する方法については,研究が少ない.従来の研究ではOCL記述からJML記述を得る方法が提案されているが,データの集まりを表現するコレクションに関するいくつかの重要な機能,とりわけ,繰り返し操作であるiterateについて対応していない.提案手法では,iterateの操作を生成されるJavaスケルトンに直接対応するメソッドを記述するという方法により,この問題に対応した.また,OCL記述からのJML記述変換方法を具体的に示した.

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