微信服务号

微信订阅号

2025-4-16- 16
Home > Archive>Volume 13, Issue 11, 2002 >2106-2111
PDF HTML XML Export Cite reminder
Refinement from Z Specification to Parallel Program
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [10]
    • |
  • Related [20]
    • |
  • Cited by [3]
    • | |
  • Comments
    Abstract:

    In this paper, a method of getting parallel program from Z specification through refinement of design patterns is proposed. It expands parallel concepts into Z notation. Beginning with Z functional specification, it refines expanded design patterns step by step to get parallel design, and succeed in obtaining abstract parallel program through semantic-preserving transformations, which can be transformed to parallel code finally. This method is described in detail through an example.

    Reference
    [1] Gamma, E., Helm, R., Johnson, R., et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
    [2] Wan, Jian-yi, Sun, Yong-qiang, Xue, Jin-yun. Expanding design patterns to parallel programming. In: Chen, Jian, Chen, Ping, Meyor, B., eds. Proceedings of the 38th International Conference on Technology of Object Oriented Languages and Systems, TOOLS 36. Los Alamitos, CA: IEEE Computer Society, 2000.
    [3] Massingill, Berna. A Structured Approach to Parallel Programming [Ph.D. Thesis]. California Institute of Technology, 1998.
    [4] Berman, K.A., Berman, K., Paul, J. Fundamentals of Sequential and Parallel Algorithms. Boston, MA: PWS Publishing Company, 1997.
    [5] Dingel, J. A trace-based refinement calculus for shared-variable parallel programs. In: Haeberer, A.M., ed. Algobraic Methodology and Software Technology, Proceedings of the 7th International Conference, AMAST'98. LNCS 1548, Berlin: Spring-Verlag, 1999.
    [6] Bodeveix, J.P., Filali, M. A framework for parallel program refinement. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., et al., eds. Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Spring-Verlag, 1995.
    [7] Chin, Wei-Ngan, Khoo, Siau-Cheng, Hu, Zhen-jiang, et al. Deriving parallel codes via invariants. In: Static Analysis, Proceedings of the 7th International Symposium, SAS 2000. LNCS 1824, Spring-Verlag, 2000.
    [8] Bacci, B., Danelutto, M., et al. SkIE: a heterogeneous environment for HPC applications. Parallel Computing, 1999,25:1827～1852.
    [9] Massingill, B.L., Chandy, K.M. Parallel program archetypes. In: IPPS/SPDP, Proceedings of the 13th International Parallel Processing Symposium, 10th Symposium on Parallel and Distributed Processing. Los Alamitos, CA: IEEE Computer Society, 1999. http://resolver.library.caltech.edu/caltechCSTR:1997.cs-tr-96-28.
    [10] Goswami, D., Singh, A., Preiss, B.R. Building parallel applications using design patterns. In: Advances in Software Engineering: Topics in Comprehension, Evolution and Evaluation. New York: Springer-Verlag, 2000.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

万剑怡,孙永强,薛锦云.一种从Z规约到并行程序的精化方法.软件学报,2002,13(11):2106-2111

Copy
Share
Article Metrics
  • Abstract:3492
  • PDF: 5205
  • HTML: 0
  • Cited by: 0
History
  • Received:March 16,2001
  • Revised:June 25,2001
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2035311Visitors
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