%0 Journal Article
%T 基于数据分解的并发面向对象程序开发方法
%A 杨大军？
%A 吕建？
%J 软件学报
%P 67-72
%D 2000
%X 提出了一种从vdm-sl(viennadevelopmentmethod-specificationlanguage)规约到并发面向对象程序的开发方法,这种方法基于dd-vdm(datadecomposition-viennadevelopmentmethod).在此基础上提出了虚拟原子、服务并行和内部并行等概念,继而提出一种嵌套面向对象结构来体现这些功能.分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术.
%K 形式化方法
%K 数据分解
%K 嵌套面向对象结构
%K 并发面向对象程序设计语言.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000108&flag=1