Presentation | 2012-03-13 Bi-directinal Translation Method between OCL and JML based on Model Driven Development Hiroaki SHINBA, Kentaro HANADA, Kozo OKANO, Shinji KUSUMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | OCL (Object Constraint Language) is an annotation language for UML, which can describe specication more precisely. In recent years, MDA based techniques have emerged, thus translation techniques such as translation from OCL to JML (Java Modelling Language) as well as UML to some program languages, have gained a lot of attention. Our research group has been studying not only a translation method from OCL to JML but also a translation method from JML to OCL. By implementing bi-directional translation between OCL and JML, we can support the following two items. One is development by round trip engineering at the design level. The other one is translations among various formal specification languages. In this report, we present two implementations based on model translation techniques. Translations from OCL to JML and from JML to OCL. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | OCL / JML / RTE / Model Translation |
Paper # | SS2011-65 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2012/3/6(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Bi-directinal Translation Method between OCL and JML based on Model Driven Development |
Sub Title (in English) | |
Keyword(1) | OCL |
Keyword(2) | JML |
Keyword(3) | RTE |
Keyword(4) | Model Translation |
1st Author's Name | Hiroaki SHINBA |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Kentaro HANADA |
2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
3rd Author's Name | Kozo OKANO |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
4th Author's Name | Shinji KUSUMOTO |
4th Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2012-03-13 |
Paper # | SS2011-65 |
Volume (vol) | vol.111 |
Number (no) | 481 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |