2015 Fiscal Year Final Research Report
Developing Cloud Transaction Models and Cloud Conformance Adapters
| Project/Area Number |
25330094
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Ryukoku University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | クラウドコンピューティング / トランザクション処理 / データ整合性 |
|---|
| Outline of Final Research Achievements |
The research includes both the fundamental and practical approaches to "data integrity", "performance prediction", and security for mission critical systems like enterprise information systems running in the cloud computing environments, which recently are focused on as information processing platforms. As a result, an integrated validation and evaluation process is established, combining the colored Petri Nets (CPN) based simulation and the UPPAAL based logical analysis. In addition, a specification language VDM++ is complementary used. In order to make the above process applicable to vast application domains, several techniques have been developed, which can separate clearly the common cloud platform functionality and the application specific logic.
|
| Free Research Field |
ソフトウェア工学
|
