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

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

このアイテムのアクセス数:41件（2021-05-10 10:16 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27434

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr110_169_53	pdf	732 KB	23

論文情報

タイトル	OCLのJMLへの変換ツールの実装について
別タイトル	On Implementation of a Translater from OCL into JML
タイトル (ヨミ)	OCL　ノ　JML　ヘノ　ヘンカン　ツール　ノ　ジッソウ　ニ　ツイテ
著者	宮澤, 清介宮澤, 清介
	岡野, 浩三岡野, 浩三
	楠本, 真二楠本, 真二
著者の別表記	Miyazawa, Kiyoyuki
	Okano, Kozo
	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
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27434
権利情報	Copyright © 2010 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.110(169) P.53-P.58
DC.title	OCLのJMLへの変換ツールの実装について
DCTERMS.alternative	On Implementation of a Translater from OCL into JML
DC.creator	宮澤, 清介
	岡野, 浩三
	楠本, 真二
DC.creator	Miyazawa, Kiyoyuki
	Okano, Kozo
	Kusumoto, Shinji
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2010-07-29
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27434
DC.subject	モデル変換
	OCL
	JML
	model translation
DCTERMS.abstract	OCL(Object Constraint Language)はUML記述に対しさらに詳細に性質記述を行うために設計された言語である.近年MDA関連技術の発展により,UMLからプログラム言語への変換技術が着目をあびており,OCLからJML(Java Modelling Language)のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある.従来研究ではOCLからのJMLへの変換についてコレクションに関するいくつかの重要な機能,とりわけ,iterateに非対応であった.研究グループではこの問題を,生成されるJavaスケルトンに対応するメソッドを記述するという方法で対応した.本稿ではその手法に基づくき,OCLからのJMLへの変換ツールの実装について詳細に述べる.
DCTERMS.abstract	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.
DC.rights	Copyright © 2010 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	OCLのJMLへの変換ツールの実装について
citation_author	宮澤, 清介
	岡野, 浩三
	楠本, 真二
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2010-07-29
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	110
citation_issue	169
citation_firstpage	53
citation_lastpage	58
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27434
citation_keywords	モデル変換
	OCL
	JML
	model translation

閲覧可能ファイル

論文情報

論文詳細を表示