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 |
|
|---|
| Project Period (FY) |
2011-04-28 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥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.
|
Report
(5 results)
Research Products
(13 results)
