Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic Relation

• Project/Area Number: 17K00100
• 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): 2017-04-01 – 2021-03-31
• Project Status: Completed (Fiscal Year 2020)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2019: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2018: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2017: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: ソフトウェア工学 / 分散システム / アルゴリズム / ソフトウェア開発効率化・安定化 / 情報システム / ソフトウェア学 / ソフトウエア開発効率化・安定化

Outline of Final Research Achievements

For model-based software development in distributed systems, the research on the theory and algorithm for the automatic synthesis of module models from a set of scenarios was conducted. We proposed to express the scenario set by the event structure and showed the conditions for the realization. Furthermore, we developed an algorithm for checking the realizability.

Academic Significance and Societal Importance of the Research Achievements

イベント構造は様々な分野に応用可能な基本的な数理システムであり，イベント構造に関する理論的研究は学術的に意義がある．また，ICTの発展により今後も分散システムやそのソフトウェア実現の高信頼化は安心・安全な社会を実現する上で必要であり，それに向けた基礎的な研究である本研究の実施は社会的にも意義がある．

Research Products

• [Journal Article] A Study on Re-Constructibility of Event Structures (2020)
  • Author(s): IZAWA Marika、MIYAMOTO Toshiyuki
  • Journal Title: IEICE Transactions on Information and Systems Volume: E103.D Issue: 8 Pages: 1810-1813
  • DOI: 10.1587/transinf.2019FOL0002
  • NAID: 130007883622
  • ISSN: 0916-8532, 1745-1361
  • Year and Date: 2020-08-01
  • Peer Reviewed
• [Journal Article] Realizability of Choreography Given by Two Scenarios (2018)
  • Author(s): T. Kinoshita, T. Miyamoto
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E101.A Issue: 2 Pages: 345-356
  • DOI: 10.1587/transfun.E101.A.345
  • NAID: 130006327983
  • ISSN: 0916-8508, 1745-1337
  • Peer Reviewed / Open Access
• [Presentation] A Case Study of Choreography Realizability Checking on Smart Home Application (2021)
  • Author(s): Marika IZAWA and Toshiyuki Miyamoto
  • Organizer: IEEE International Conference on Consumer Electronics
  • Int'l Joint Research
• [Presentation] On Reconstructibility of Event Structures for Choreography Realization Problem (2019)
  • Author(s): M. Izawa, T. Miyamoto
  • Organizer: ITC-CSCC
  • Int'l Joint Research
• [Presentation] イベント構造の再合成可能性に関する一考察 (2019)
  • Author(s): 伊澤，宮本
  • Organizer: 電子情報通信学会MSS研究会
• [Presentation] CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios (2018)
  • Author(s): Toshiyuki Miyamoto
  • Organizer: IEEE Intl. Conf. on Systems, Man, and Cybernetics
  • Int'l Joint Research
• [Presentation] ２つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装 (2018)
  • Author(s): 冨永一矢，木下聖基，宮本俊幸
  • Organizer: 電子情報通信学会MSS 研究会
• [Presentation] Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management (2017)
  • Author(s): T. Kinoshita and T. Miyamoto
  • Organizer: IEEE SMC 2017
  • Int'l Joint Research
• [Presentation] CSCB Tools: ２つのシナリオからなるコレオグラフィ実現のための拡張 (2017)
  • Author(s): 富永一矢，宮本俊幸
  • Organizer: 電子情報通信学会基礎・境界ソサイエティ大会
• [Remarks] CSCB Tools
  • URL: http://is.eei.eng.osaka-u.ac.jp/miyamoto/index.php?CSCB