2017 Fiscal Year Final Research Report
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 |
|
|---|
| Project Period (FY) |
2014-04-01 – 2018-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 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.
|
| Free Research Field |
分散システム
|
