Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2012: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
Outline of Final Research Achievements |
In this research, we developed a framework for developing reliable distributed programs in general purpose programming languages, by following the guideline about the design of several flexible cooperation facilities in distributed environments and by exploiting their efficient implementation techniques, both of which are derived from our previous distributed proggramming language based on Ambient calculus. This framework provides practical and flexible ambient-based features. Furthermore, it also supports a tool for analyzing and verifying the security of user programs, which would be less problematic if we wrote such programs in domain-specific distributed languages.
|