摘要： 提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术．Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题，降低了并行系统形式化开发的复杂度

关键词: 并行系统, 形式化开发, 需求规约, 程序框架

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.

中图分类号: 

• TP311