制約記述言語OCL とJML のモデル駆動 開発技法に基づいた双方向の変換手法の提案

榛葉, 浩章; 花田, 健太郎; 岡野, 浩三 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2012, 111(481), 49-54

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

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

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr111_481_49 pdf None 673 KB 112 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
制約記述言語OCL とJML のモデル駆動 開発技法に基づいた双方向の変換手法の提案
Bi-directinal Translation Method between OCL and JML based on Model Driven Development
セイヤク　キジュツ　ゲンゴ　OCL　ト　JML　ノ　モデル　クドウ　カイハツ　ギホウ　ニ　モトヅイタ　ソウホウコウ　ノ　ヘンカン　シュホウ　ノ　テイアン
Creator
CreatorName
榛葉, 浩章 ; シンバ, ヒロアキ ; Shinba, Hiroaki
CreatorName
花田, 健太郎 ; ハナダ, ケンタロウ ; Hanada, Kentaro
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Subject
OCL
JML
RTE
モデル変換
Model Translation
Abstract
OCL(Object Constraint Language)はUML記述に対しさらに詳細に性質記述を行うために設計された言語である.近年MDA関連技術の発展により,UMLからプログラム言語への変換技術が着目を浴びており,OCLからJML(Java Modelling Language)のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある.研究グループでは,OCLからJMLへの変換及び,その逆変換であるJMLからOCLへの変換について研究しており,双方向の変換を実現することで,仕様記述レベルでのラウンドトリップエンジニアリングによる開発の支援や,様々な制約記述言語間での相互変換を実現していきたいと考えている.本稿では,モデル変換的手法に基づいたOCLからJML及び,JMLからOCLへの変換ツールの試作型の実装について述べる.
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.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Volume (Issue)
111(481)
Page
49-54
Date of Issued
2012-03-06
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27433
PISSN
09135685
NCID
AN10013287
Access Rights
open access
CopyRight
Copyright © 2012 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article