%0 Journal Article
%T Refinement from Z Specification to Parallel Program<br>一种从Z规约到并行程序的精化方法
%A WAN Jian-yi
%A SUN Yong-qiang
%A XUE Jin-yun
%A <br>万剑怡
%A 孙永强
%A 薛锦云
%J 软件学报
%D 2002
%I 
%X 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.
%K design patterns
%K refinement
%K parallel program development<br>设计模式
%K 精化
%K 并行程序开发
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=179F78732C0BF6BD&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=708DD6B15D2464E8&sid=70FB1E09F390DD17&eid=4738D4FCFD09C3DC&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=10