| 摘要: |
| 提出了一种从VDM-SL(Vienna development method-specification language)规约到并发面向对象程序的开发方法,这种方法基于DD-VDM(data decomposition-Vienna development method).在此基础上提出了虚拟原子、服务并行和内部并行等概念,继而提出一种嵌套面向对象结构来体现这些功能.分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术. |
| 关键词: 形式化方法,数据分解,嵌套面向对象结构,并发面向对象程序设计语言. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金（No.69873021）、国家863高科技项目基金（No.863-306-ZT02-02-03）、国家攀登计划基金和国家杰出青年科学基金（No.61525204）资助。 |
|
| A Data-Decomposition-Based Development Method of Concurrent Object-Oriented Programs |
|
YANG Da-jun,Lü Jian
|
| Abstract: |
| 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. |
| Key words: Formal method, data decomposition, nested object-oriented structure, concurrent object-oriented programming language. |
