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

• Item type: SIG Technical Reports(1)
• 公開日: 2019-07-05
• タイトル: 階層的な制御構造をもつシーケンス図間の整合性検証手法の開発
• タイトル / 言語: en
• タイトル: Process Representation of Sequence Diagrams with Hierarchical Structure
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 岡山県立大学
• 著者所属: 岡山県立大学
• 著者所属: 岡山県立大学
• 著者所属: 愛媛大学総合情報メデイアセンター
• 著者所属: 岡山県立大学
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者所属(英): en
• 著者所属(英): Center for Information Technology, Ehime university
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者名: 松本, 明; 横川, 智教; 天嵜, 聡介; 阿萬, 祐久; 有本, 和民
• 著者名(英): Akira, Matsumoto; Tomoyuki, Yokogawa; Sousuke Amasaki; Hirohisa, Aman; Kazutami, Arimoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究では UML 図の中でよく利用されるステートマシン図とシーケンス図の整合性検証方法を提案する．先行研究として FDR モデル検査機を用いたシーケンス図とステートマシン図のモデル間での一貫性検証の方法が開発され，さらに検証をサポートするツールが実装されている．しかし，既存の形式では階層的な構造を持つシーケンス図を取り扱うことができない．階層的な構造とは結合フラグメントを含むシーケンス図のことを言う．そこで，FDR モデル検査機で検証できるように，階層構造をもつシーケンス図を FDR の入力形式である CSPMの形式へと変換を自動で行う仕組みの開発を行う．手法として，UML の描画ツールである PlantUML の入力仕様から中間データ構造を作成し，CSPM の記述に変換する仕組みを提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper. We propose a method for verifying consistency between UML state machine diagrams and sequence diagrams using a model-checker FDR. This method supports sequence diagrams with hierarchical structure which is described by four types of combined fragments. We adopt PlantUML tool as an UML drawer and provide a translation from an input format of PlantUML tool into CSPM description.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2019-SE-202, 号 7, p. 1-6, 発行日 2019-07-05
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会