• Article
  • | |
  • Metrics
  • |
  • Reference [10]
  • |
  • Related
  • |
  • Cited by
  • | |
  • 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.
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 16,2001
  • Revised:June 25,2001
You are the first2033371Visitors
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