階層的な制御構造をもつシーケンス図間の整合性検証手法の開発

松本明; 横川智教; 天嵜聡介; 阿萬祐久; 有本和民

文献

J-GLOBAL ID：201902253387560069 整理番号：19A2085359

階層的な制御構造をもつシーケンス図間の整合性検証手法の開発

Process Representation of Sequence Diagrams with Hierarchical Structure

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=19A2085359&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A2085359&from=J-GLOBAL&jstjournalNo=S0532B") }}

著者 (5件)： , , , ,
資料名：
巻： 119 号： 113(KBSE2019 11-22)(Web) ページ： 47-52 (WEB ONLY) 発行年： 2019年07月05日
JST資料番号： S0532B ISSN： 0913-5685 資料種別：会議録 (C)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

本研究ではUML図の中でよく利用されるステートマシン図とシーケンス図の整合性検証方法を提案する.先行研究としてFDRモデル検査機を用いたシーケンス図とステートマシン図のモデル間での一貫性検証の方法が開発され,さらに検証をサポートするツールが実装されている.しかし,既存の形式では階層的な構造を持つシーケンス図を取り扱うことができない.階層的な構造とは結合フラグメントを含むシーケンス図のことを言う.そこで,FDRモデル検査機で検証できるように,階層構造をもつシーケンス図をFDRの入力形式であるCSP_Mの形式へと変換を自動で行う仕組みの開発を行う.手法として,UMLの描画ツールであるPlantUMLの入力仕様から中間データ構造を作成し,CSP_Mの記述に変換する仕組みを提案する.(著者抄録)

, , , , , , , ,
, , , , ,

計算機システム開発

引用文献 (10件)：

J. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Reference Manual, The Pearson Higher Education, 2004.
D. Torre, Y. Labiche, and M. Genero, “UML Consistency Rules: A Systematic Mapping Study,” Proc. of the 18th Int’l Conf. on Evaluation and Assessment in Softw. Eng., (EASE 2014), pp.1-10, 2014.
Z. Huzar, L. Kuzniarz, G. Reggio, and J.L. Sourrouille, “Consistency Problems in UML-Based Software Development,” UML Modeling Languages and Applications, UML 2004 Satellite Activities, pp.1-12, 2005.
F.J. Lucas, F. Molina, and A. Toval, “A systematic review of UML model consistency management,” Information and Software Technology, vol.51, no.12, pp.1631-1645, 2009. http://dx.doi.org/10.1016/j.infsof.2009.04.009
X. Zhao, Q. Long, and Z. Qiu, “Model Checking Dynamic UML Consistency,” Proc. of the 8th Int’l Conf. on Formal Engineering Methods, ICFEM 2006, pp.440-459, 2006.

, , , , , ,

前のページに戻る