UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成

浜口, 優; 長井, 栄吾; 松下, 誠; 岡野, 浩三; 楠本, 真二; 井上, 克郎; 我妻, 智之; 梅村, 晃広

UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成

浜口, 優; 長井, 栄吾; 松下, 誠他

組込みソフトウェアシンポジウム2007論文集, 2007, 2007(8), 193-200

アクセス数:696件（2025-08-16 09:40 集計）

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

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
ESS2007_193	pdf	なし	4.11 MB	130	2014.10.14	出版社版/publisher

論文情報

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

タイトル	UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成
	Generating UML Model Verification Environment Based on UML Meta Model Specification and OCL Constraints
	UML　メタモデル　シヨウ　ト　OCL　セイヤク　二　モトヅク　UML　モデル　ケンショウ　カンキョウ　ノ　セイセイ
著者	著者名浜口, 優 ; ハマグチ, ユウ ; Hamaguchi, Yuu
	著者名長井, 栄吾 ; ナガイ, エイゴ ; Nagai, Eigo
	NRID 1000060304028 1000060304028 ORCID 0000-0002-8014-4092 0000-0002-8014-4092 researchmap permalink makoto.matusita makoto.matusita Scopus Author ID 7402125665 7402125665 著者名松下, 誠 ; マツシタ, マコト ; Matsushita, Makoto
	NRID 1000070252632 1000070252632 著者名岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000030234438 1000030234438 researchmap permalink read0013799 read0013799 Scopus Author ID 7102741360 7102741360 著者名楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
	著者名我妻, 智之 ; アガツマ, トモユキ ; Agatsuma, Tomoyuki
	著者名梅村, 晃広 ; ウメムラ, アキヒロ ; Umemura, Akihiro
抄録	オブジェク卜指向型言語を用いたソフトウエア開発において広く利用されるUML(Unified Modeling Language)では，複数種類のダイアグラムが定義されている.しかしこれら複数種類のダイアグラムは完全に独立しておらず，そのためシステム設計の過程で不整合が生じる可能性がある.これに対して，UMLメタモデルへ制約を付加することによりUMLダイアグラム間整合性検証を行う研究がある.しかし，それらの研究ではUMLメタモデルのバージョン変更に対応できないそのため，整合性検証を行う場合は各バージョンのUMLメタモデルに対して個別のモデル検証環境を用意する必要がある.本研究では，UMLメタモデルとオブジェク卜制約記述言語OCL(Object Constraint Language)を用いて記述した制約を，モデル駆動型開発を支援するフレームワークEMF(Eclipse Modeling Framework)に対して入力として与えることで，UMLモデル検証環境を自動生成する手法を提案する.具体的には，EMFのモデル表現形式であるEcoreモデルをUMLメタモデルと整合性ルールを表現したOCL制約から生成する.次に，生成されたEcoreモデルをEMFに対して入力として与えることでUMLモデル検証環境のソースコードを自動生成する.また提案手法に基づいてUMLダイアグラム間整合性検証を支援するツールを作成した.DrinkMakerの例題に対して適用した結果，提案手法によるUMLダイアグラム問整合性検証が可能であることが確認できた.
抄録	Several kinds of diagrams defined in UML (Unified Modeling Language)are widely used in Object-Oriented Software Development. They are，however，not completely independent from each other，and therefore inconsistencies between diagrams may occur in the process of the system design. For this reason，there are some studies to perform consistency verification between the UML diagrams by adding constraints to UML meta models. However，those studies cannot support the various versions of the UML meta models. Therefore， it is necessary to prepare each individual model verification environment for the corresponding UML meta models. In this paper，we propose a technique to generate UML model verification environment automatically by giving a UML meta model and constraints described in OCL (Object Constraint Language) as inputs for EMF (Eclipse Modeling Framework)that supports Model Driven Architecture. More precisely，we generate an Ecore model by using a UML meta model and the OCL constraints expressed consistency rules. Then，we generate automatically a source code of the UML model verification environment by giving the Ecore model as input for EMF. Based on the technique，we have developed a tool supporting the consistency verification based on the UML diagrams. As a result of the experiments，we confirmed that it was possible to verify UML diagrams consistency by our proposed technique.
出版者	情報処理学会
出版者	ジョウホウ　ショリ　ガッカイ
収録物名	組込みソフトウェアシンポジウム2007論文集
巻(号)	2007(8)
ページ	193-200
刊行年月	2007-10
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/50591
関連情報 (isIdenticalTo)	NCID BA86092141
アクセス権	open access
権利情報	ここに掲載した著作物の利用に関する注意本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
権利情報	Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	組込みソフトウェアシンポジウム2007論文集. 2007, 2007(8), p. 193-200
DC.title	UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成
	Generating UML Model Verification Environment Based on UML Meta Model Specification and OCL Constraints
	UML　メタモデル　シヨウ　ト　OCL　セイヤク　二　モトヅク　UML　モデル　ケンショウ　カンキョウ　ノ　セイセイ
DC.creator	浜口, 優
	ハマグチ, ユウ
	Hamaguchi, Yuu
	長井, 栄吾
	ナガイ, エイゴ
	Nagai, Eigo
	松下, 誠
	マツシタ, マコト
	Matsushita, Makoto
	岡野, 浩三
	オカノ, コウゾウ
	Okano, Kozo
	楠本, 真二
	クスモト, シンジ
	Kusumoto, Shinji
	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
	我妻, 智之
	アガツマ, トモユキ
	Agatsuma, Tomoyuki
	梅村, 晃広
	ウメムラ, アキヒロ
	Umemura, Akihiro
DC.publisher	情報処理学会
DC.publisher	ジョウホウ　ショリ　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2007-10
DCTERMS.abstract	オブジェク卜指向型言語を用いたソフトウエア開発において広く利用されるUML(Unified Modeling Language)では，複数種類のダイアグラムが定義されている.しかしこれら複数種類のダイアグラムは完全に独立しておらず，そのためシステム設計の過程で不整合が生じる可能性がある.これに対して，UMLメタモデルへ制約を付加することによりUMLダイアグラム間整合性検証を行う研究がある.しかし，それらの研究ではUMLメタモデルのバージョン変更に対応できないそのため，整合性検証を行う場合は各バージョンのUMLメタモデルに対して個別のモデル検証環境を用意する必要がある.本研究では，UMLメタモデルとオブジェク卜制約記述言語OCL(Object Constraint Language)を用いて記述した制約を，モデル駆動型開発を支援するフレームワークEMF(Eclipse Modeling Framework)に対して入力として与えることで，UMLモデル検証環境を自動生成する手法を提案する.具体的には，EMFのモデル表現形式であるEcoreモデルをUMLメタモデルと整合性ルールを表現したOCL制約から生成する.次に，生成されたEcoreモデルをEMFに対して入力として与えることでUMLモデル検証環境のソースコードを自動生成する.また提案手法に基づいてUMLダイアグラム間整合性検証を支援するツールを作成した.DrinkMakerの例題に対して適用した結果，提案手法によるUMLダイアグラム問整合性検証が可能であることが確認できた.
DCTERMS.abstract	Several kinds of diagrams defined in UML (Unified Modeling Language)are widely used in Object-Oriented Software Development. They are，however，not completely independent from each other，and therefore inconsistencies between diagrams may occur in the process of the system design. For this reason，there are some studies to perform consistency verification between the UML diagrams by adding constraints to UML meta models. However，those studies cannot support the various versions of the UML meta models. Therefore， it is necessary to prepare each individual model verification environment for the corresponding UML meta models. In this paper，we propose a technique to generate UML model verification environment automatically by giving a UML meta model and constraints described in OCL (Object Constraint Language) as inputs for EMF (Eclipse Modeling Framework)that supports Model Driven Architecture. More precisely，we generate an Ecore model by using a UML meta model and the OCL constraints expressed consistency rules. Then，we generate automatically a source code of the UML model verification environment by giving the Ecore model as input for EMF. Based on the technique，we have developed a tool supporting the consistency verification based on the UML diagrams. As a result of the experiments，we confirmed that it was possible to verify UML diagrams consistency by our proposed technique.
DC.rights	ここに掲載した著作物の利用に関する注意本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
DC.rights	Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
DC.format	50591
citation_title	UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成
citation_author	浜口, 優
	長井, 栄吾
	松下, 誠
	岡野, 浩三
	楠本, 真二
	井上, 克郎
	我妻, 智之
	梅村, 晃広
citation_publisher	情報処理学会
citation_language	日本語
citation_date	2007-10
citation_journal_title	組込みソフトウェアシンポジウム2007論文集
citation_volume	2007
citation_issue	8
citation_firstpage	193
citation_lastpage	200
citation_public_url	https://hdl.handle.net/11094/50591

UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成

閲覧可能ファイル

論文情報

論文詳細を表示