| 并行软件功能规约的组合语义方法 |
| |
| 引用本文： | 李彤,柳青,孔兵,王黎霞.并行软件功能规约的组合语义方法[J].计算机工程与应用,2000,36(6):78-80. |
| |
| 作者姓名： | 李彤 柳青 孔兵 王黎霞 |
| |
| 作者单位： | 1. 云南大学计算机科学系,昆明,650091
2. 云南大学经济学院,昆明,650091 |
| |
| 基金项目： | 云南省自然科学基金!“基于公理语义的面向对象并行软件自动化研究”98F005G，云南省中青年学术技术带头人培养基金!1998－37 |
| |
| 摘 要： | 文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化和验证。
|
| 关 键 词： | 并行软件 组合语义 代数语义 Hoare逻辑 UNITY逻辑 |
| 修稿时间： | 1999年7月 |
A Combined Semantics Methodology of Parallel SoftwareFunctional Specifications |
| |
| Li Tong,Liu Qing,Kong Bing,Wang Lixia.A Combined Semantics Methodology of Parallel SoftwareFunctional Specifications[J].Computer Engineering and Applications,2000,36(6):78-80. |
| |
| Authors: | Li Tong Liu Qing Kong Bing Wang Lixia |
| |
| Abstract: | In this paper,a methodology to define the parallel software functional specifications is proposed.The methodology integraes with the algebraic semantics,Hoare logic and UNITY logic.It makes full use of the advantages,including that algebraic semantics describes the abstract data types,Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.The syntax forms are advantageous to decompose,refine and verify the specifications. |
| |
| Keywords: | Parallel Software Combined Semantics Algebraic Semantics Hoare Logic UNITY Logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
