Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations

• Project/Area Number: 26330083
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: Osaka University
• Principal Investigator: MIYAMOTO Toshiyuki 大阪大学, 工学研究科, 准教授 (00294041)
• Project Period (FY): 2014-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
• Keywords: ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム

Outline of Final Research Achievements

Development of high reliability software is indispensable to achieve safe and secure society. This research program addressed the problem of automatically synthesizing the behavioral model of each module composes a distributed system from an abstract specification. A new notion called "reconstructible" decomposition of acyclic relation is introduced and an algorithm synthesizing Pareto efficient state machines is developed. The proposed method has been implemented as a plug-in of a UML modeling tool. The proposed method is superior to the former method in terms of intelligibility of model.

Research Products

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