微信服务号

微信订阅号

2025-5-17- 19
Home > Archive>Volume 11, Issue 1, 2000 >67-72
PDF HTML XML Export Cite reminder
A Data-Decomposition-Based Development Method of Concurrent Object-Oriented Programs
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • |
  • Cited by [1]
    • | |
  • Comments
    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.

    Reference
    1　 Yang Da-jun, Zhang Ming, Lü Jian. The study of concurrent object-oriented programming languages. Computer Research and Development, 1998,35(9):769～775 (杨大军,张鸣,吕建.并发面向对象程序设计语言研究.计算机研究与发展,1998,36(9):769～775) 2　 Jones C B. Systematic Software Development Using VDM. 2nd ed., Englewood Cliffs: Prentice-Hall, Inc., 1990 3　 Jones C B, Shaw R C F. Case Studies in Systematic Software Development. Englewood Cliffs: Prentice-Hall, Inc., 1990 4　 Jones C B. Development methods for computer programs including a notion of interface [Ph.D. 　Thesis]. Oxford University, 1981 5　 Jones C B. Specification and design of (parallel) programs. In: Proceedings of IFIP'83. North-Holland, 1983. 321～332 6　 Stolen K. Development of parallel programs on shared data-structures [Ph.D. Thesis]. Manchester University, 1990 7　 Jones C B. Constraining interference in an object-oriented design method. In: Gaudel M C, Jouannaud J P eds. TAPSOFT'93: Theory and Practice of Software Development. Lecture Notes in Computer Science, London: Springer-Verlag, 1993. 136～150 8　 Jones C B. A pi-calculus semantics for an object-based design notation. In: Best E ed. CONCUR'93: the 4th International Conference on Concurrent Theory. Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1993. 158～172 9　 Lü Jian, Zhang Jian-ying. A formal software development method DD-VDM. Journal of Software, 1996,7(supplement):385～393 (吕建,张建莹.形式化软件开发方法DD-VDM.软件学报,1996,7(增刊):385～393) 10　 Lü Jian. Introducing data decomposition into VDM for tractable development of programs. ACM SIGPLAN Notices, 1995,30(9):41～50 11　 Goldsack S, Lano K, Dürr E H. Annealing and data decomposition in VDM++. ACM SIGPLAN Notices, 1996,31(4):32～38 12　 Goldsack S J, Kent S J H. Formal Methods and Object Technology. London: Springer-Verlag, 1996. 86～112 13　 Dawes J. The VDM－SL Reference Guide. London: Pitman, 1991 14　 Apt K R, Olderog E R. Verification of Sequential and Concurrent Programs. 2nd ed., New York: Springer-Verlag, 1997
    Comments
    Comments
    分享到微博
    Submit
Get Citation

杨大军,吕建.基于数据分解的并发面向对象程序开发方法.软件学报,2000,11(1):67-72

Copy
Share
Article Metrics
  • Abstract:3745
  • PDF: 4738
  • HTML: 0
  • Cited by: 0
History
  • Received:November 13,1998
  • Revised:September 03,1999
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045243Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063