%0 Journal Article
%T A Data-Decomposition-Based Development Method of Concurrent Object-Oriented Programs<br>基于数据分解的并发面向对象程序开发方法
%A YANG Da-jun
%A <br>杨大军
%A 吕建
%A YANG Da-jun
%A L
%J 软件学报
%D 2000
%I 
%X 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.
%K Formal method
%K data decomposition
%K nested object-oriented structure
%K concurrent object-oriented programming language<br>形式化方法
%K 数据分解
%K 嵌套面向对象结构
%K 并发面向对象程序设计语言.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=34450C0EF83D830D&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=CA4FD0336C81A37A&sid=5D71B28100102720&eid=AA76E167F386B6B3&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=16