2014 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
分散システム
|
