[发明专利]基于工作流的可信软件过程的定义方法有效
| 申请号： | 200810102972.6 | 申请日： | 2008-03-28 |
| 公开（公告）号： | CN101256491A | 公开（公告）日： | 2008-09-03 |
| 发明（设计）人： | 兰雨晴;高静;李红娟 | 申请（专利权）人： | 兰雨晴 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44 |
| 代理公司： | 北京汇智英财专利代理事务所 | 代理人： | 吴怀权 |
| 地址： | 100083北京市海淀区*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于工作流的可信软件过程的定义方法，从软件过程角度在软件开发过程中对软件的可信性进行保证。本发明采用UML建模语言给出可信软件过程定义的元模型，并且对工作流管理联盟的过程模型做形式化的整理，给出可信软件过程工作流模型的形式化定义。该定义方法描述了一种可信的软件过程模型，描述了可信软件过程和过程活动的算法，给出过程参与者、过程活动的基本状态和状态变迁，论述了基于工作流技术实现可信软件过程的定义方法。本发明是保障可信软件过程顺利实施的根基，在定义方法的基础之上可进一步对可信软件过程实例进行监控和追踪。 | ||
| 搜索关键词： | 基于 工作流 可信 软件 过程 定义 方法 | ||
【主权项】：
1.一种基于工作流的可信软件过程定义方法，其特征在于：其包括以下步骤：1)确定可信软件过程定义需要的关键模型元素，给出可信软件过程定义元模型；2)对工作流管理联盟的过程模型做形式化的整理，给出过程工作流模型的形式化定义；3)对可信软件过程实例化，给出过程工作流活动实例的形式化定义；4)给出工作流引擎运行时的原理性算法。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于兰雨晴，未经兰雨晴许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200810102972.6/，转载请声明来源钻瓜专利网。
