| 形式并行需求规约向Java程序框架的转换 |
| |
| 引用本文： | 王黎霞,李彤. 形式并行需求规约向Java程序框架的转换[J]. 计算机工程, 2000, 26(8): 31-32,119 |
| |
| 作者姓名： | 王黎霞 李彤 |
| |
| 作者单位： | 1. 云南大学经济学院昆明 650091
2. 云南大学计算机科学系昆明 650091 |
| |
| 基金项目： | 云南省自然科学基金项目(98F005G);云南省中青年学术技术带头人培养基金(1998-37) |
| |
| 摘 要： | 提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术，Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题，降低了并行系统形式化开发的复杂度。
|
| 关 键 词： | 形式化开发 需求规约 程序框架 Java语言 |
| 文章编号： | 1000-3428(2000)08-0031-02 |
Transformation from Formal Parallel Requirement Specifications into Java Program Frameworks |
| |
| WANG Lixia, LI Tong. Transformation from Formal Parallel Requirement Specifications into Java Program Frameworks[J]. Computer Engineering, 2000, 26(8): 31-32,119 |
| |
| Authors: | WANG Lixia LI Tong |
| |
| Affiliation: | College of Economics. Yunnan University. Kunming650091;Department of Computer Science. Yunnan University. Kunming650091 |
| |
| Abstract: | In this paper. we propose a technology which can transform formal requirement specifications of a parallel system into a Java parallel program frameworks. The threads of Java parallel program frameworks include precondition and postcondition which can be transformed into executable Java codes using traditional serial system transformation technology. Therefore. the formal development problem of parallel systems is changed into the formal development problem of serial systems. and the complexity of formal development of parallel systems is decreased. |
| |
| Keywords: | Parallel system Formal development Requirement specification Program framework |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
