Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems

• Project/Area Number: 23500045
• 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): 2011-04-28 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2011: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,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 that composes a distributed system from an abstract specification. The method using Petri nets to automatically synthesize behavioral model from a specification has been proposed; the method has been implemented as a plug-in of a UML modeling tool. The proposed method is superior to the existing method in terms of intelligibility of model.

Research Products

• [Journal Article] An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets (2014)
  • Author(s): Toshiyuki Miyamoto, Yasuwo Hasegawa, and Hiroyuki Oimura
  • Journal Title: IEICE Transactions on Information and Systems Volume: E97.D Issue: 5 Pages: 1171-1180
  • DOI: 10.1587/transinf.E97.D.1171
  • NAID: 130004519232
  • ISSN: 0916-8532, 1745-1361
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Modular Reachability Analysis of Petri Nets for Multiagent Systems (2013)
  • Author(s): Toshiyuki Miyamoto and Kyota Horiguchi
  • Journal Title: IEEEE Transactions on Systems, Man, and Cybernetics: Systems Volume: 43 Issue: 6 Pages: 1411-1423
  • DOI: 10.1109/tsmc.2013.2250278
  • Peer Reviewed
• [Presentation] A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets (2013)
  • Author(s): Toshiyuki Miyamoto and Hiroyuki Oimura
  • Organizer: International Workshop on Petri Nets and Software Engineering 2013
  • Place of Presentation: Milan, Italy
• [Presentation] コレオグラフィ実現問題に対するペトリネットを用いた手法の実装 (2013)
  • Author(s): 老邑博行，宮本俊幸
  • Organizer: 電子情報通信学会基礎・境界ソサイエティ大会
  • Place of Presentation: 福岡工業大学
• [Presentation] A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography (2012)
  • Author(s): Toshiyuki Miyamoto, Yasuwo Hasegawa
  • Organizer: International Workshop on Petri Nets and Software Engineering 2012
  • Place of Presentation: Hamburg, Germany
• [Presentation] SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 (2012)
  • Author(s): 新村 勇人
  • Organizer: 電子情報通信学会システム数理と応用研究会
  • Place of Presentation: 高知市文化プラザかるぽーと(高知県)
• [Presentation] cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (2012)
  • Author(s): 長谷川 泰央
  • Organizer: 電子情報通信学会システム数理と応用研究会
  • Place of Presentation: 高知市文化プラザかるぽーと(高知県)
• [Presentation] ブリッジ除去による UML コミュニケーション図から UML 状態機械図への変換手法の正当性について (2011)
  • Author(s): 長谷川 泰央
  • Organizer: 第55回システム制御情報学会研究発表講演会
  • Place of Presentation: 大阪大学コンベンションセンター(大阪府)
• [Presentation] ペトリネットを用いたサービス振る舞いモデルの自動合成 (2011)
  • Author(s): 宮本 俊幸
  • Organizer: 電子情報通信学会ソサイエティ大会
  • Place of Presentation: 北海道大学(北海道)
• [Presentation] Modular Reachability Analysis in Fundamental Class of Multi-agent Nets (2011)
  • Author(s): Toshiyuki Miyamoto
  • Organizer: IEEE IECON 2011
  • Place of Presentation: クラウン国際会議場(メルボルン，オーストラリア)
• [Presentation] SOAに基づくシステムの設計検証のためのUMLサブセット (2011)
  • Author(s): 長谷川 泰央
  • Organizer: 電子情報通信学会システム数理と応用研究会
  • Place of Presentation: 山口大学(山口県)
• [Remarks] CSCB Tools
  • URL: http://is.eei.eng.osaka-u.ac.jp/miyamoto/index.php?CSCB
• [Remarks] CSCB Tools
  • URL: http://is.eei.eng.osaka-u.ac.jp/miyamoto/index.php?CSCB