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

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

提出了一种从 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.