一种电力企业工作流程结构验证方法技术

本发明专利技术公开了一种电力企业工作流程结构验证方法，属计算机算法领域。首先将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图；然后将工作流程图转化为矩阵并求其邻接矩阵A和关系矩阵P；最后建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。本发明专利技术的方法和验证规则可验证包含孤立节点、死节点、死循环等六种异常结构。该方法能够准确指出工作流程中存在的结构性问题，通过实例分析验证，该方法全面可靠。

【技术实现步骤摘要】
【专利摘要】本专利技术公开了，属计算机算法领域。首先将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图；然后将工作流程图转化为矩阵并求其邻接矩阵A和关系矩阵P；最后建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。本专利技术的方法和验证规则可验证包含孤立节点、死节点、死循环等六种异常结构。该方法能够准确指出工作流程中存在的结构性问题，通过实例分析验证，该方法全面可靠。【专利说明】
本专利技术为，属计算机算法领域。
技术介绍
工作流技术是当今一项飞速发展的技术，它最基本的特性就是能够结合人工和机器的行为，特别是能够与应用程序和工具进行交互，从而完成业务过程的自动化处理。为了使计算机能够支持电力企业业务过程处理，就要对电力业务过程进行分析，抽象出业务过程的本质特征，并使用某种计算机可处理的方式来表示。电力企业工作流程模型是对工作流的抽象表示，它将电力企业实际的经营过程转化为计算机可处理的形式化定义。在电力系统工作流管理系统中对业务过程描述的目的是便于工作流管理系统的控制执行。因此，流程模型的正确性是业务目标实现的基本保证。电力企业工作流程模型的正确性验证是工作流建模环境的一个核心功能，其目的是对已建立的工作流模型按照某种正确性原则进行验证。在电力企业工作流程模型定义时，流程结构上可能出现流程没有无开始节点、没有无结束节点、某个节点无法到达结束节点、某个节点无法被触发、某个节点没有输入也没有输出以及结构上存在无条件环或者回路的问题，这些将导致工作流程运转的不正常，从而影响正常业务工作的开展。
技术实现思路
本专利技术的目的为提供,能够正确验证电力企业工作流程结构。本专利技术的技术方案如下:，包括如下步骤:首先，将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图；然后，将工作流程图转化为矩阵并求其邻接矩阵A，邻接矩阵A表明了工作流图中两个相邻节点间是否相互关联，若工作流图中的任何两个节点之间存在有向边，则邻接矩阵A的值为I ;否则，其值为O ;根据矩阵运算，求解二元关系传递闭包，由邻接矩阵A计算工作流程图的关系矩阵P，关系矩阵P表明了工作流图中任意两节点间是否至少存在一条链或路，以及在节点处是否有圈或回路；最后，建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。为了解决电力企业工作流程定制时在结构上出现的问题，本专利技术提出的，构建了五条验证规则，依据该方法和验证规则可验证包含孤立节点、死节点、死循环等六种异常结构。该方法能够准确指出工作流程中存在的结构性问题，通过实例分析验证，该方法全面可靠。【专利附图】【附图说明】图1为本专利技术工作流程结构验证方法的流程图。图2为本专利技术工作流图关系矩阵计算步骤流程图。图3为本专利技术工作流图结构验证过程流程图。【具体实施方式】本专利技术的的技术方案如图1所示，具体过程为:1、根据工作流程，将其抽象成图形6=〈￥3，0>，其中:(I)V为工作流程节点集合，V= IV1, N2,...VJ，(η为整数XV1和Vn为流程的开始节点和结束节点，通常没有实际动作，只表示流程的开始和结束；但某些特殊情况下，也可以带有触发动作。其他节点为普通节点、分支节点或者跳转等节点。(2)Ε为节点间连接弧的集合，E^VxV , <Vi； Vj)为连接节点Vi到节点Vj的一条又向弧。(3) D 连接节点的弧的数量。D=<in, out〉, Din(Vf) = {suin(n) | V/7,/7 e< η, V.>,为所有终点为Vi的弧的总数= ⑷为所有起点为Vi的弧的总数。2、计算第一步中生产的工作流图的邻接矩阵AKaij)。【权利要求】1.，其特征在于，包括如下步骤: 首先，将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图； 然后，将工作流程图转化为矩阵并求其邻接矩阵A，邻接矩阵A表明了工作流图中两个相邻节点间是否相互关联，若工作流图中的任何两个节点之间存在有向边，则邻接矩阵A的值为I ;否则，其值为O ;根据矩阵运算，求解二元关系传递闭包，由邻接矩阵A计算工作流程图的关系矩阵P，关系矩阵P表明了工作流图中任意两节点间是否至少存在一条链或路，以及在节点处是否有圈或回路； 最后，建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。2.根据权利要求1所述的，其特征在于，邻接矩阵A具体定义为:A=(aij)，其中， 3.根据权利要求1或2所述的，其特征在于，五条结构验证规则具体如下: (1)结构验证规则1:工作流图邻接矩阵A中只存在开始节点和结束节点； (2)结构验证规则2:如果关系矩阵P中开始节点所对应行，除开始节点自身外，还具有其他O的分量，则表示从开始节点出发，有节点不可达，即存在无根节点； (3)结构验证规则3:如果关系矩阵P中结束节点所对应列，除结束节点自身外，还具有其他O的分量，则表示这些O分量所对应节点，到结束节点不可达，即所谓的僵尸节点； (4)结构验证规则4:如果邻接矩阵A存在一个入度为O，且出度也为O的节点，则表示该节点即不能从开始节点流向它，也不能流向结束节点，即所谓的孤立节点； (5)结构验证规则5:如果关系矩阵P对角线上存在非O的分量Pu，则表示至少存在一条包含节点Vi的回路。4.根据权利要求3所述的，其特征在于，对工作流程图的邻接矩阵A和关系矩阵P进行验证的具体步骤为: (1)应用结构验证规则I对邻接矩阵A进行验证，如果邻接矩阵A第i行第I列元素an和第I行第i列元素an满足(an=0) Π (an=0) i=l, 2，...，η,则该工作流图中只有一个开始节点和一个结束节点； (2)应用结构验证规则2对关系矩阵P进行验证，如果关系矩阵P第I行第j列元素Plj满足P1POj=Z,...,η,则该工作流图中不存在无根节点； (3)应用结构验证规则3对关系矩阵P进行验证，如果关系矩阵P第η行第j列元素Pnj满足P1^Oj=I, 2,..., n-1，则该工作流图中不存在僵尸节点； (4)应用结构验证规则4对关系矩阵P进行验证，判断关系矩阵P，各行和列分别累加求和，对每个节点求解以节点为始点的边的总数Drat O和以节点为终点的边的总数Din()，如果不存在Dtjut (Vi)=O H Din(Vi)=O,则该工作流图中不存在孤立节点；(5)应用结构验证规则5对关系矩阵P进行验证，如果关系矩阵P第i行第j列元素Pij满足Pu=Oi, j=l, 2,..., n`，则该工作流图中不存在回路。【文档编号】G06Q10/06GK103714425SQ201310719721【公开日】2014年4月9日 申请日期:2013年12月24日 优先权日:2013年12月24日 【专利技术者】马刚, 吴薛红, 钱伟行 申请人:南京师范大学本文档来自技高网...

【技术保护点】
一种电力企业工作流程结构验证方法，其特征在于，包括如下步骤：首先，将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图；然后，将工作流程图转化为矩阵并求其邻接矩阵A，邻接矩阵A表明了工作流图中两个相邻节点间是否相互关联，若工作流图中的任何两个节点之间存在有向边，则邻接矩阵A的值为1；否则，其值为0；根据矩阵运算，求解二元关系传递闭包，由邻接矩阵A计算工作流程图的关系矩阵P，关系矩阵P表明了工作流图中任意两节点间是否至少存在一条链或路，以及在节点处是否有圈或回路；最后，建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。

【技术特征摘要】

【专利技术属性】
技术研发人员：马刚，吴薛红，钱伟行，
申请(专利权)人：南京师范大学，
类型：发明
国别省市：