OCLのJMLへの変換ツールの実装について

宮澤, 清介; 岡野, 浩三; 楠本, 真二

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2010, 110(169), 53-58

アクセス数:340件（2025-07-13 22:01 集計）

固定URL: https://hdl.handle.net/11094/27434

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr110_169_53 pdf なし 732 KB 68 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
OCLのJMLへの変換ツールの実装について
On Implementation of a Translater from OCL into JML
OCL　ノ　JML　ヘノ　ヘンカン　ツール　ノ　ジッソウ　ニ　ツイテ
著者
著者名
宮澤, 清介 ; ミヤザワ, キヨユキ ; Miyazawa, Kiyoyuki
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
キーワード等
モデル変換
OCL
JML
model translation
抄録
OCL(Object Constraint Language)はUML記述に対しさらに詳細に性質記述を行うために設計された言語である.近年MDA関連技術の発展により,UMLからプログラム言語への変換技術が着目をあびており,OCLからJML(Java Modelling Language)のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある.従来研究ではOCLからのJMLへの変換についてコレクションに関するいくつかの重要な機能,とりわけ,iterateに非対応であった.研究グループではこの問題を,生成されるJavaスケルトンに対応するメソッドを記述するという方法で対応した.本稿ではその手法に基づくき,OCLからのJMLへの変換ツールの実装について詳細に述べる.
OCL (Object Constraint Language) is an annotation language for UML, which can describe specification more precisely. In recent years, MDA 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. Past researches on translation from OCL to JML often pays little attention to collection features, especially iteration. Our research group has proposed a method to overcome such the problem by using Java method templates. In this report, we present an implementation of a tool of the translation based on the proposed method.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
110(169)
ページ
53-58
刊行年月
2010-07-29
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27434
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2010 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article