[发明专利]基于工作流的可信软件过程的定义方法

说明书

技术领域

本发明涉及工作流技术、软件过程技术和软件可信性技术，尤指一种基于工作流的可信软件过程定义方法。

背景技术

软件的可信性是一个比较新的概念，并没有一个公认的、准确的回答。可信性是软件的重要特性，它包括信息安全性(security)、完整性(integrity)、有效性(availability)，正确性(correctness)、可靠性(reliability)、隐私性(privacy)、安全性(safety)以及持久性(survivability)等属性。可信性是一个包括多个属性特征的多维质量特性，各个属性之间相互联系且相互影响。要构造一个可信的软件系统是一项非常复杂的系统工程，它涉及大量的QoS(Quality of Service服务质量)决策内容，包括安全性、可靠性、可用性、性能以及资源使用等。它不是单一的设计、开发、测试和验证的问题，而是在各个阶段都要对系统的可信属性进行全局考虑和评估，任何一个环节出了问题，整个系统的可信性都将不复存在。因此，一方面必须从全局的角度将整个软件开发过程规范起来，对系统构造的全过程进行追踪与监控来保障软件的可信性；另一方面，必须依靠已有的软件开发经验对系统的各项可信属性进行评估和权衡，从而做出合理的决策。

实践证明，软件产品的质量在很大程度上取决于过程的质量，因此，加强对软件产品质量的形成过程的有效管理是保障软件系统可信性的重要手段。软件过程是软件生存周期中为达到某个目标而必须实施的所有软件工程活动集合，一个软件过程可以分成若干个活动。本发明所述的软件过程指的是诸如软件计划过程、软件需求过程、软件开发过程、软件测试过程、软件配置管理过程等类似的软件具体过程的抽象。软件过程管理主要关注的是软件过程技术层面的管理，其中，软件过程技术层面的内容主要包括：一个软件组织定义可用并支持持续改进的软件过程的能力，所定义的软件过程按照预期执行的能力以及在执行的过程中得到不断改进从而达到软件组织目标的能力。

工作流技术是目前比较流行的过程实现技术。它包含了两部分内容：工作流元模型和工作流管理系统。实现工作流管理系统的基础是建立合理的工作流模型，而工作流元模型又是建立工作流模型的基础。因此，合理的工作流元模型是实现工作流管理系统的关键。

近年来面向CMM/CMMI(Capability Maturity Model/CapabilityMaturity Model Integration)的软件开发过程管理、监控、度量和改进方法和支持工具的研究成为热点。国际上具有代表性的主要研究成果包括：定义了一些软件开发过程框架，比如RUP；制定了一些软件质量通用标准，如ISO/IEC14598和ISO/IEC 9126，以及开发了一批相应的支持工具，比如IBM Rational质量管理相关工具，包括Rational PortfolioManager、Team Unified Platform等；配置管理相关工具，如CVS(Concurrent Version System)、Retional ClearCase和ClearQuest、Microsoft的VisualStudio SourceSafe等；测试管理工具，如Mercury Interactive公司的Testdirector、IBM公司的Rational Suite Teststudio等。

然而，目前没有哪种产品能够支持可信软件开发全过程的管理和质量保证活动。

发明内容

为了解决上述问题，本发明结合工作流技术，目的是为了保证软件系统的开发过程的可信性，利用工作流对软件系统开发的可信过程进行定义，给出可信软件过程元模型和工作流模型的定义和工作流引擎运行时的算法，为进一步对可信软件过程的追踪和监控奠定基础。

为了实现上述目的，基于工作流的可信软件过程定义和追踪方法包括4个步骤：

1)确定可信软件过程定义需要的关键模型元素，给出可信软件过程定义元模型；

2)对工作流管理联盟的过程模型做形式化的整理，给出过程工作流模型的形式化定义；

3)对可信软件过程实例化，给出过程工作流活动实例的形式化定义；

4)给出工作流引擎运行时的原理性算法。

其中，在所述步骤1)的可信软件过程定义元模型是采用UML建模语言制定。软件过程定义是指确定过程中的活动及其关系，其中包括指明过程的开始和结束的条件，活动本身的信息等。

其中，所述的步骤2)的形式化定义是对WFMC组织给出的基于有向图的过程模型做形式化的整理。