尾鷲方志, 岡野浩三, 楠本真二, "メソッドの自動生成を用いた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 = {箱根},
}