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

Number of Access:538（2025-12-09 11:12 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/51358

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
MDDIS_2012_1_CR pdf None 188 KB 356 2015.04.08 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation
Creator
NRID
1000030192701 1000030192701
CreatorName
Hanada, Kentaro
NRID
1000070252632 1000070252632
CreatorName
Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
Kusumoto, Shinji
CreatorName
Miyazawa, Kiyoyuki
Subject
Model-driven Architecture
OCL
JML
Design by Contract
Description
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012
Abstract
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.
Publisher
ICEIS2012
Page
389-394
Date of Issued
2012
Language
English
Handle URL
https://hdl.handle.net/11094/51358
Relation.references
URI
http://www.iceis.org/?y=2012
Relation.isIdenticalTo
ISBN
9789898565112
Access Rights
open access
oaire:version
Version of Record
Category
会議発表論文 Conference Paper