2020 Fiscal Year Final Research Report
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 |
|
|---|
| Project Period (FY) |
2017-04-01 – 2021-03-31
|
| 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.
|
| Free Research Field |
分散システム論
|
| Academic Significance and Societal Importance of the Research Achievements |
イベント構造は様々な分野に応用可能な基本的な数理システムであり，イベント構造に関する理論的研究は学術的に意義がある．また，ICTの発展により今後も分散システムやそのソフトウェア実現の高信頼化は安心・安全な社会を実現する上で必要であり，それに向けた基礎的な研究である本研究の実施は社会的にも意義がある．
|
