再合成可能な半順序分割による分散システムの振る舞いモデル自動合成

• 研究課題/領域番号: 26330083
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウェア
• 研究機関: 大阪大学
• 研究代表者: 宮本 俊幸 大阪大学, 工学研究科, 准教授 (00294041)
• 研究期間 (年度): 2014-04-01 – 2018-03-31
• 研究課題ステータス: 完了 (2017年度)
• 配分額: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円); 2016年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2015年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2014年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
• キーワード: ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム

研究成果の概要

高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要不可欠である。本研究では，抽象的な要求仕様から分散システムを構成するモジュールの振る舞いモデルを自動合成する問題に取り組んだ。非循環関係の再合成可能な分割という新たな概念を導入し，パレート効率な状態機械を合成するアルゴリズムを開発した。また，提案手法をUMLモデリングツールのプラグインとしてソフトウェア実装した。提案手法はモデルの理解しやすさの点で既存手法より優れていた。

研究成果

• [雑誌論文] Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram (2017)
  • 著者名/発表者名: T. Miyamoto
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E100.D 号: 6 ページ: 1200-1209
  • DOI: 10.1587/transinf.2016FOP0002
  • NAID: 130005687710
  • ISSN: 0916-8532, 1745-1361
  • 査読あり / オープンアクセス
• [雑誌論文] Choreography Realization by Re-Constructible Decomposition of Acyclic Relations (2016)
  • 著者名/発表者名: T. Miyamoto
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E99.D 号: 6 ページ: 1420-1427
  • DOI: 10.1587/transinf.2015FOP0001
  • NAID: 130005154743
  • ISSN: 0916-8532, 1745-1361
  • 査読あり / オープンアクセス / 謝辞記載あり
• [学会発表] 二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討－仕様間に競合がある場合の考察 (2017)
  • 著者名/発表者名: 木下聖基，宮本俊幸
  • 学会等名: 電子情報通信学会 システム数理と応用研究会
  • 発表場所: 京都工芸繊維大学（京都市）
  • 年月日: 2017-01-26
• [学会発表] Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems (2017)
  • 著者名/発表者名: T. Miyamoto
  • 学会等名: SICE Annual Conference 2017
  • 国際学会
• [学会発表] 二つのシナリオで定義されるコレオグラフィの実現可能性の検討 (2017)
  • 著者名/発表者名: 木下聖基，宮本俊幸
  • 学会等名: 第30回 回路とシステムワークショップ
• [学会発表] 二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討 (2016)
  • 著者名/発表者名: 木下聖基，宮本俊幸
  • 学会等名: 電子情報通信学会 基礎・境界ソサイエティ大会
  • 発表場所: 北海道大学（札幌市）
  • 年月日: 2016-09-20
• [学会発表] A Study on Synthesizing State Machines from Multiple Communication Diagrams (2016)
  • 著者名/発表者名: T. Kinoshita, T. Miyamoto
  • 学会等名: International Technical Conference on Circuits/Systems, Computers and Communications
  • 発表場所: 自治会館（那覇市）
  • 年月日: 2016-07-10
  • 国際学会
• [学会発表] CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets (2016)
  • 著者名/発表者名: T. Miyamoto
  • 学会等名: International Workshop on Petri Nets and Software Engineering
  • 発表場所: トルン，ポーランド
  • 年月日: 2016-06-20
  • 国際学会
• [学会発表] 非循環関係の再合成可能な分割によるコレオグラフィ実現―パレート最適 な状態機械の合成について― (2016)
  • 著者名/発表者名: 宮本俊幸
  • 学会等名: 電子情報通信学会 システム数理と応用研究会
  • 発表場所: しいのき迎賓館
  • 年月日: 2016-01-25
• [学会発表] CSCB Tools: Tool for Supporting the Design of Systems Based on SOA (2015)
  • 著者名/発表者名: Toshiyuki Miyamoto
  • 学会等名: IEEE 4th Global Conference on Consumer Electronics
  • 発表場所: 大阪国際会議場
  • 年月日: 2015-10-27
  • 国際学会
• [学会発表] 非循環関係の再合成可能な分割によるコレオグラフィ実現 (2015)
  • 著者名/発表者名: 宮本俊幸
  • 学会等名: 電子情報通信学会 システム数理と応用研究会
  • 発表場所: 小樽商科大学
  • 年月日: 2015-06-17
• [学会発表] サービス指向アーキテクチャに基づくシステムの整合性検証に関する研究 (2015)
  • 著者名/発表者名: 老邑博行，宮本俊幸
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: ブランナール三朝
  • 年月日: 2015-01-26 – 2015-01-27
• [備考] CSCB Tools
  • URL: http://is.eei.eng.osaka-u.ac.jp/miyamoto/index.php?CSCB