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