基于数据分解的并发面向对象程序开发方法

提出了一种从vdm-sl(viennadevelopmentmethod-specificationlanguage)规约到并发面向对象程序的开发方法,这种方法基于dd-vdm(datadecomposition-viennadevelopmentmethod).在此基础上提出了虚拟原子、服务并行和内部并行等概念,继而提出一种嵌套面向对象结构来体现这些功能.分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术.