形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。

有序类代数的操作语义

本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义．

大规模定制环境下客户需求信息分类模型及其表达方法研究

为了低成本、高效率地获取大规模定制客户的个性化需求信息,建立了大规模定制环境下客户需求信息的分类模型,将客户需求信息分为二元型、选项型、参数型、描述型和解释型五类。探讨了不同类型的客户需求信息相应的形式化语义描述方法。在此基础上,采用框架法对二元型、选项型和参数型等结构化客户需求信息进行表达,对于半结构化的描述型客户需求信息和非结构化的解释型客户需求信息,采用模糊框架进行表达。最后,通过两个应用案例说明了该模型的实用性。