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

榛葉, 浩章; 花田, 健太郎; 岡野, 浩三; 楠本, 真二

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

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

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

アクセス数:280件（2025-06-11 20:25 集計）

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

閲覧可能ファイル

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

論文情報

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

タイトル	制約記述言語OCL とJML のモデル駆動開発技法に基づいた双方向の変換手法の提案
	Bi-directinal Translation Method between OCL and JML based on Model Driven Development
	セイヤク　キジュツ　ゲンゴ　OCL　ト　JML　ノ　モデル　クドウ　カイハツ　ギホウ　ニ　モトヅイタ　ソウホウコウ　ノ　ヘンカン　シュホウ　ノ　テイアン
著者	著者名榛葉, 浩章 ; シンバ, ヒロアキ ; Shinba, Hiroaki
	著者名花田, 健太郎 ; ハナダ, ケンタロウ ; Hanada, Kentaro
	NRID 1000070252632 1000070252632 著者名岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000030234438 1000030234438 researchmap permalink read0013799 read0013799 Scopus Author ID 7102741360 7102741360 著者名楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
キーワード等	OCL
	JML
	RTE
	モデル変換
	Model Translation
抄録	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.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)	111(481)
ページ	49-54
刊行年月	2012-03-06
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/27433
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2012 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

論文詳細を表示

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2012, 111(481), p. 49-54
DC.title	制約記述言語OCL とJML のモデル駆動開発技法に基づいた双方向の変換手法の提案
	Bi-directinal Translation Method between OCL and JML based on Model Driven Development
	セイヤク　キジュツ　ゲンゴ　OCL　ト　JML　ノ　モデル　クドウ　カイハツ　ギホウ　ニ　モトヅイタ　ソウホウコウ　ノ　ヘンカン　シュホウ　ノ　テイアン
DC.creator	榛葉, 浩章
	シンバ, ヒロアキ
	Shinba, Hiroaki
	花田, 健太郎
	ハナダ, ケンタロウ
	Hanada, Kentaro
	岡野, 浩三
	オカノ, コウゾウ
	Okano, Kozo
	楠本, 真二
	クスモト, シンジ
	Kusumoto, Shinji
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2012-03-06
DC.subject	OCL
	JML
	RTE
	モデル変換
	Model Translation
DCTERMS.abstract	OCL(Object Constraint Language)はUML記述に対しさらに詳細に性質記述を行うために設計された言語である.近年MDA関連技術の発展により,UMLからプログラム言語への変換技術が着目を浴びており,OCLからJML(Java Modelling Language)のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある.研究グループでは,OCLからJMLへの変換及び,その逆変換であるJMLからOCLへの変換について研究しており,双方向の変換を実現することで,仕様記述レベルでのラウンドトリップエンジニアリングによる開発の支援や,様々な制約記述言語間での相互変換を実現していきたいと考えている.本稿では,モデル変換的手法に基づいたOCLからJML及び,JMLからOCLへの変換ツールの試作型の実装について述べる.
DCTERMS.abstract	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.
DC.rights	Copyright © 2012 IEICE
DC.rights	本文データはCiNiiから複製したものである
DC.format	27433
citation_title	制約記述言語OCL とJML のモデル駆動開発技法に基づいた双方向の変換手法の提案
citation_author	榛葉, 浩章
	花田, 健太郎
	岡野, 浩三
	楠本, 真二
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2012-03-06
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	111
citation_issue	481
citation_firstpage	49
citation_lastpage	54
citation_public_url	https://hdl.handle.net/11094/27433

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

閲覧可能ファイル

論文情報

論文詳細を表示

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