概要: OCL (Object Constraint Language) is an annotation language for UML. It can describe specification more precisely than natural languages. In recent years, MDA (Model Driven Architecture) based techniques have emerged, thus translation techniques such as translation from OCL to JML (Java Modeling Language) have gained much 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. Bi-directional translation between OCL and JML supports (1) development by RTE (Round Trip Engineering) at the design level, and (2) multi-translations among various formal specification languages. This paper presents our implementations based on model translation techniques. タグ: bi-directinal, implementation, jml, ocl, prototype, tool, translation

@inproceedings{KentaroHanada2012a,
  author = {Kentaro Hanada and Hiroaki Shinba and Kozo Okano and Shinji Kusumoto},
  title = {Implementation of a Prototype Bi-directinal Translation Tool between OCL and JML},
  booktitle = {International Workshop on Informatics 2012},
  pages = {121--127},
  year = {2012},
  month = {sep}
}