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

摘要：

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

关键词：形式化方法、数据分解、嵌套面向对象结构、并发面向对象程序设计语言

所属期刊栏目：11

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69873021;高比容电子铝箔的研究开发与应用项目863-306-ZT02-02-03;科技部攀登计划;国家重点基础研究发展计划973计划61525204

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：67-72