形式并行需求规约向Java程序框架的转换  

Transformation from Formal Parallel Requirement Specifications into Java Program Frameworks

作　　者：王黎霞[1] 李彤[2] 

机构地区：[1]云南大学经济学院,昆明650091 [2]云南大学计算机科学系,昆明650091

出　　处：《计算机工程》2000年第8期31-32,119,共3页Computer Engineering

基　　金：云南省自然科学基金项目!(98F005G);云南省中青年学术技术带头人培养基金!(1998-37)

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

关 键 词：形式化开发 需求规约 程序框架 JAVA语言 

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