工作流可信属性模型定义与分析

工作流技术作为业务过程管理的重要手段,一直是学术界研究热点。如何从正确的角度对工作流可信性进行分析与评价成为重要理论研究课题。借助可信软件相关研究方法,在综合比较分析多个软件可信属性模型的基础上,结合工作流自身特点,建立工作流可信属性模型,从安全性、可用性、可靠性、可测试性和工作流过程模型结构合理性5个方面对工作流可信性进行讨论。在此基础上,以工作流可信属性中的可用性为例,从活动级、过程级、环境级3个层级对工作流可信属性分析方法进行说明,为解决工作流领域的可信性建模与评价提供了新思路。

一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。

软件可信评估模型及其工具实现

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。

一种基于软件属性相互影响和重要性的属性权重分配方法

为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实际的例子对软件属性权重进行量化的分析,详细描述了该方法的具体过程。提出的软件属性权重的分配方法是一个通用的方法,对于各种软件可信度量中的属性权重可以进行相应的分析,在可信度量中软件属性权重的确定上有一定的实际意义和作了积极的探索。