语义决策过程支撑环境及其语义表示方法

针对决策支持系统缺乏有效的决策过程控制手段的问题,提出了语义决策及其过程支撑环境(DPSE)的概念.DPSE利用决策问题语义指导系统方案,以决策过程中行为为应激式调度,实现决策支持系统运行全过程中语义形式化.DPSE将决策环境分为需求组织、资源分配和行为规划3个方面,并定义了语义决策过程中动态语义的表示方法,提供了语义封装的方法及其过程支撑相关的算法.最后给出了系统原型,并通过实验表明DPSE的有效性.

一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.