| Tweet | |
| 尾鷲方志, 岡野浩三, 楠本真二, "メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計," レクチャーノート・ソフトウェア学 35 ソフトウェア工学の基礎XVI, pp. 191-198, 2009年11月. | |
| ID | 85 |
| 分類 | 国内会議(査読付き) |
| タグ | uml/ocl mda design translation |
| 表題 (title) |
メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計 |
| 表題 (英文) |
Design of a Translation Tool from Ocl into Jml by Translating the Iterate Feature into Java Methods |
| 著者名 (author) |
尾鷲方志,岡野浩三,楠本真二 |
| 英文著者名 (author) |
Masayuki Owashi,Kozo Okano,Shinji Kusumoto |
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
Masayuki Owashi,Kozo Okano,Shinji Kusumoto |
| 書籍・会議録表題 (booktitle) |
レクチャーノート・ソフトウェア学 35 ソフトウェア工学の基礎XVI |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
|
| 号数 (number) |
|
| ページ範囲 (pages) |
191-198 |
| 組織名 (organization) |
日本ソフトウェア科学会 |
| 出版元 (publisher) |
近代科学社 |
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
11 |
| 出版年 (year) |
2009 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
箱根 |
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
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. |
| 論文電子ファイル | fose.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@inproceedings{id85,
title = {メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計},
author = {尾鷲方志 and 岡野浩三 and 楠本真二},
booktitle = {レクチャーノート・ソフトウェア学 35 ソフトウェア工学の基礎XVI},
pages = {191-198},
organization = {日本ソフトウェア科学会},
publisher = {近代科学社},
month = {11},
year = {2009},
note = {箱根},
}
|