基于工作流的可信软件过程的定义方法

摘要

本发明公开了一种基于工作流的可信软件过程的定义方法，从软件过程角度在软件开发过程中对软件的可信性进行保证。本发明采用UML建模语言给出可信软件过程定义的元模型，并且对工作流管理联盟的过程模型做形式化的整理，给出可信软件过程工作流模型的形式化定义。该定义方法描述了一种可信的软件过程模型，描述了可信软件过程和过程活动的算法，给出过程参与者、过程活动的基本状态和状态变迁，论述了基于工作流技术实现可信软件过程的定义方法。本发明是保障可信软件过程顺利实施的根基，在定义方法的基础之上可进一步对可信软件过程实例进行监控和追踪。