[发明专利]一种插件式业务流程家族的协同演化方法

权利要求书

1.一种插件式业务流程家族的协同演化方法，其特征在于，包括以下步骤：

步骤1：使用带标记的流程图对业务流程模型进行形式化定义，得到构造带标记的流程图所需的基本元素，并保存在带标记的流程图仓库中；

步骤2：使用可插入式扩展元模型来创建可插入式扩展，并存储在可插入式扩展仓库中；

步骤3：在领域本体的支持下，将可插入式扩展语义织入到流程家族内的带标记的流程图中，实现流程家族的协同演化。

2.根据权利要求1所述的插件式业务流程家族的协同演化方法，其特征在于，步骤1的具体实现包括以下子步骤：

步骤1.1：使用带标记的流程图对业务流程模型进行形式化定义，得到构造带标记的流程图所需的基本元素；

其中：

定义流程图PG是一个有向图(N,E,λ)，其中N是结点集合，E是边集合，λ:N→L是一个单射函数：将图中结点赋予一个标签集合L；进一步地，结点集合N是它的多个子集的并集，即：N＝{start,end}∪N_a∪N_ps∪N_pj∪N_xs∪N_xj，其中：start与end分别表示流程图的起始结点和终止结点，N_a表示流程图中的活动集合，N_ps表示流程图中并发性分离结点的集合，N_pj表示流程图中并发性汇聚结点的集合，N_xs表示流程图中选择性分离结点的集合，N_xj表示流程图中选择性汇聚结点的集合；

定义带标记的流程图APG＝(N∪N^p,E∪E^p∪E^d,λ)，其中：是N_a的属性结点；N_a中每个活动结点与四种类型的属性结点相关，分别是：输入属性结点N_in、输出属性结点N_out、前置条件属性结点N_pre以及效果属性结点N_eff；是输入结点集合，输入结点集合从用户或其它输入结点接收并消耗输入消息，是输入结点集合，输入结点集合产生输出消息给用户或其它输入结点，N_pre是前置条件结点集合，N_eff是效果结点集合，Ep⊆(Na×Nin)∪(Na×Nout)×(Na×Npre)×(Na×Neff)]]>是连接流程活动结点N_a和其属性结点集合N^p的边集合，λ:N^p→L是一个单射函数，将标签集合L赋予属性结点，是可标记的流程图中内部数据绑定边的集合；

步骤1.2：企业在步骤1.1所示的带标记的流程图定义的指导下，解析特定语言描述的业务流程注册模型，得到构建带标记的流程图所必须的元素信息，并调用XML文档对象API创建带标记的流程图XML文档对象；

步骤1.3：企业在步骤1.1所示带标记的流程图定义的指导下，创建带标记的流程图关系数据表，创建出来的带标记的流程图对象将被序列化并保存在带标记的流程图关系数据表中。