构造方法在软件开发中的应用研究

将构造方法应用于软件开发中的目的，在于让软件开发的注意力主要集中在问题描述和证明上。从一阶谓词逻辑规范的验证过程中提取Gamma程序的方法具有很高的自动化程度。程序的效率可以在多级程序变换过程中逐步提高。以时态语义理论为基础，证明了存在一种保语义等效性的将Gamma程序转化为Unity程序的映射。这种方法在提高程序效率方面的效能已被曙光-1000并于机上的实验结果所证实。Gamma 的时态语义理论使程序特性的推导更加简易；而Gamma范畴语义对理解化学反应计算模式则是有益的，范畴语义还可以自然推广到高阶Gamma上。这些语义理论，连同结构化操作语义，构成了化学反应模型更加完整的语义系统。