| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2017: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Outline of Final Research Achievements |
The goal of this project is to provide a framework for specification and run-time verification of actor-based reflective systems. To achieve the goal, we took a new approach to the actor-based group-wide reflection (GWR), which allows each actor to have capabilities of reasoning about/acting upon the collective behavior of the group it belongs to. We applied the proposed method to implement concurrent context-oriented programming (COP) systems. To realize COP in concurrent systems based on asynchronous communication, we must take care to control synchronizations among context changes and other computations. We adopt an instance of GWR to solve the synchronization problem regarding messages that cross two contexts. We also developed a static verification framework for actor-based systems in Coq, as well as a run-time verification library for Akka-based applications.
|
