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

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

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

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

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

Number of Access:704（2025-09-03 07:57 Counts）

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

Link to primary information

File	Format	Terms of use	Size	Views	Date.Available	Description	information
ESS2007_193	pdf	None	4.11 MB	133	2014.10.14	出版社版/publisher

Item Information

Output File Export EndNote Basic Export Mendeley

Title	UMLメタモデル仕様とOCL制約に基づくUMLモデル検証環境の生成
	Generating UML Model Verification Environment Based on UML Meta Model Specification and OCL Constraints
	UML　メタモデル　シヨウ　ト　OCL　セイヤク　二　モトヅク　UML　モデル　ケンショウ　カンキョウ　ノ　セイセイ
Creator	CreatorName 浜口, 優 ; ハマグチ, ユウ ; Hamaguchi, Yuu
	CreatorName 長井, 栄吾 ; ナガイ, エイゴ ; 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 CreatorName 松下, 誠 ; マツシタ, マコト ; Matsushita, Makoto
	NRID 1000070252632 1000070252632 CreatorName 岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000030234438 1000030234438 researchmap permalink read0013799 read0013799 Scopus Author ID 7102741360 7102741360 CreatorName 楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
	NRID 1000020168438 1000020168438 CreatorName 井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
	CreatorName 我妻, 智之 ; アガツマ, トモユキ ; Agatsuma, Tomoyuki
	CreatorName 梅村, 晃広 ; ウメムラ, アキヒロ ; Umemura, Akihiro
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ダイアグラム問整合性検証が可能であることが確認できた.
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.
Publisher	情報処理学会
Publisher	ジョウホウ　ショリ　ガッカイ
Source Title	組込みソフトウェアシンポジウム2007論文集
Volume (Issue)	2007(8)
Page	193-200
Date of Issued	2007-10
Language	Japanese
Handle URL	https://hdl.handle.net/11094/50591
Relation.isIdenticalTo	NCID BA86092141
Access Rights	open access
CopyRight	ここに掲載した著作物の利用に関する注意本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
CopyRight	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.
oaire:version	Version of Record
Category	学術雑誌論文 Journal Article

Resource Type	journal article
Local Type	Journal Article
DCMI Type	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	Japanese
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	Japanese
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モデル検証環境の生成

Link to primary information

Item Information

Show details