Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation

Hanada, Kentaro; Okano, Kozo; Kusumoto, Shinji et al.

2012, 389-394

アクセス数:491件（2025-08-16 09:40 集計）

固定URL: https://hdl.handle.net/11094/51358

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
MDDIS_2012_1_CR pdf なし 188 KB 334 2015.04.08 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation
著者
NRID
1000030192701 1000030192701
著者名
Hanada, Kentaro
NRID
1000070252632 1000070252632
著者名
Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
Kusumoto, Shinji
著者名
Miyazawa, Kiyoyuki
キーワード等
Model-driven Architecture
OCL
JML
Design by Contract
内容
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012
抄録
In recent years, MDA techniques have been strongly developed. Thus, translation techniques such as UML to some program languages have gained a lot of attention. Translation techniques such as OCL to JML have been also researched. OCL is a language to describe detail properties of UML and standardized by OMG, while, JML is a language to specify properties of Java program. Both OCL and JML are based on DbC and able to provide properties of classes or methods. There are, however, not many researches on translating automatically OCL into JML and past researches often pay little attention to collection features, especially iteration. Our research group has proposed a concrete method which translates UML class diagram with OCL into Java skeleton with JML. This paper presents an implementation tool based on the technique. To evaluate the quality of the tool, we applied the tool to two real examples, a warehouse management program and a syllabus management system. As a result, we found that every OCL constraint described manually was translated successfully into JML. Also, we found some defects existed in the design of a syllabus management system.
出版者
ICEIS2012
ページ
389-394
刊行年月
2012
言語
英語
ハンドルURL
https://hdl.handle.net/11094/51358
関連情報 (references)
URI
http://www.iceis.org/?y=2012
関連情報 (isIdenticalTo)
ISBN
9789898565112
アクセス権
open access
出版タイプ
Version of Record
カテゴリ
会議発表論文 Conference Paper