メソッドの自動生成を用いたOCLのJMLへの変換

DOI HANDLE 被引用文献1件 オープンアクセス

書誌事項

タイトル別名
  • A Translation Method from OCL into JML by Translating the Iterate Feature into Java Methods
  • メソッド　ノ　ジドウ　セイセイ　ヲ　モチイタ　OCL　ノ　JML　ヘノ　ヘンカン

抄録

The paper presents a translation method from OCL (Object Constraint Language) into JML (Java Modelling Language). Several approaches have proposed automatic generation methods of Java skeleton files from UML class diagrams. Less papers are found for automatic generation of JML from OCL. They deal with not all of the standard OCL library. Especially, some features of collections including iterate feature are not implemented. We resolve the problem by translating the iterate feature into Java methods. This paper also provides a concrete translation algorithm. The paper also provides a translation example from OCL into JML.

収録刊行物

被引用文献 (1)*注記

もっと見る

関連プロジェクト

もっと見る

詳細情報 詳細情報について

  • CRID
    1390282679713570560
  • NII論文ID
    130004549165
    10029945765
  • DOI
    10.11309/jssst.27.2_106
  • HANDLE
    11094/51344
  • ISSN
    02896540
  • データソース種別
    • JaLC
    • IRDB
    • CiNii Articles
    • KAKEN
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ