箱根 概要: The paper presents design of a translation library 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. Some of them are publicized as plug-ins for Eclipse. On the other hand, 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 advantages of the proposed approach are as follows: 1. it helps to develop in Model Driven Development (MDD) with formal approach; 2. it conforms to test first which is often used in agile development, because designers can generate test cases using Java skeleton files with JML using JML standard tools; and 3. it helps to verify correctness of the program using model checking tools such as ESC/Java2. タグ: uml/ocl, mda, design, translation

@inproceedings{尾鷲方志2009,
  author = {尾鷲 方志 and 岡野 浩三 and 楠本 真二},
  title = {メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計},
  booktitle = {レクチャーノート・ソフトウェア学 35 ソフトウェア工学の基礎XVI},
  pages = {191--198},
  year = {2009},
  month = {nov}
}