工作流网合理性验证的矩阵实现  

Research of Workflow-net Rationality Validation Implemented by Matrix

作　　者：刘川[1] 陈金玉[1] 

机构地区：[1]重庆大学自动化学院,重庆400044

出　　处：《重庆理工大学学报（自然科学）》2012年第11期75-79,共5页Journal of Chongqing University of Technology：Natural Science

摘　　要：业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。It often has to verify the structure rationality of workflow model after designing the business workflow model.The verification was to avoid great loss in the actual application of the workflow model.In order to verify the workflow rationality,a refined algorithm of workflow net rationality verification was designed.By using matrix and vector to express the workflow net model,the algorithm just used matrix computation to implement the verification and it was more convenient for computer implementation.The algorithm also took the consideration on the invalid case,and it increased the verification efficiency to a certain extent.

关 键 词：工作流网 合理性验证 不合理检查 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]