K. Hanada, K. Okano, S. Kusumoto, and K. Miyazawa, "Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation," In 14th International Conference on Enterprise Information Systems, pp. 389-394 June 2012.
ID 218
分類 国際会議
タグ annotation application java jml practical skeleton tool translation uml/ocl
表題 (title) Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation
表題 (英文)
著者名 (author) Kentaro Hanada,Kozo Okano,Shinji Kusumoto,Kiyoyuki Miyazawa
英文著者名 (author) Kentaro Hanada,Kozo Okano,Shinji Kusumoto,Kiyoyuki Miyazawa
編者名 (editor)
編者名 (英文)
キー (key) ,Kozo Okano,Shinji Kusumoto,Kiyoyuki Miyazawa
書籍・会議録表題 (booktitle) 14th International Conference on Enterprise Information Systems
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 389-394
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 6
出版年 (year) 2012
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (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.
論文電子ファイル document.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id218,
         title = {Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation},
        author = {Kentaro Hanada and Kozo Okano and Shinji Kusumoto and Kiyoyuki Miyazawa},
     booktitle = {14th International Conference on Enterprise Information Systems},
         pages = {389-394},
         month = {6},
          year = {2012},
}