一种从Z规约到并行程序的精化方法  

Refinement from Z Specification to Parallel Program

作　　者：万剑怡[1] 孙永强[1] 薛锦云[2] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030 [2]江西师范大学计算机科学系

出　　处：《软件学报》2002年第11期2106-2111,共6页Journal of Software

基　　金：国家自然科学基金资助项目(69983003)~~

摘　　要：提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.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 succeeds 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.

关 键 词：Z规约 并行程序 精化方法 程序设计 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]