RPTS中的并行与可视化技术

研制了一个进化型快速原型工具系统ＲＰＴＳ，提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化，后者提高了内部功能描述的可视化程度。详细讨论了伪函数、分割图及相关算法。     

基于Petri网的图标编程系统

为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统。本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程。该系统原型在ＳＧＩ图形工作站ＵＮＩＸ环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运     

分割图描述的正确性验证

提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。     

RPTS及功能分割原型

文中介绍了已经实现的快速原型化工具系统ＲＰＴＳ，它采用伪函数技术，使应用程序的界面和内部功能原型在制作方面可完全并行进行。为了支持功能原型化的图形表示，提出了功能分割原型化方法及把功能分割图翻译成Ｃ语言程序的算法。