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

A Data-Decomposition-Based Development Method of Concurrent Object-Oriented Programs

作　　者：杨大军[1,2] 吕建[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京大学计算机软件研究所,南京210093

出　　处：《软件学报》2000年第1期67-72,共6页Journal of Software

基　　金：国家自然科学基金! (No.6 98730 2 1);国家 86 3高科技项目基金! (No.86 3- 30 6 - ZT0 2 - 0 2 - 0 3);国家攀登计划基金;国家杰

摘　　要：提出了一种从 VDM- SL(Vienna development method- specification language)规约到并发面向对象程序的开发方法 ,这种方法基于 DD- VDM(data decomposition- Vienna development method) .在此基础上提出了虚拟原子、服务并行和内部并行等概念 ,继而提出一种嵌套面向对象结构来体现这些功能 .分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术 .In this paper, a method is proposed to develop a concurrent program from a VDM -SL (Vienna development method specification language) specification. On the basis of DD VDM (data decomposition Vienna development method), service parallelism, internal parallelism and virtual atomicity can be observed in the development process. Then a nested object oriented structure is presented to specify these parallelisms. This nested structure can be implemented with several language structures for two different kinds of applications including share variables parallel system and distributed parallel system.

关 键 词：数据分解 面向对象 程序设计语言 程序开发方法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]