基于微分petri网的业务流程模块适配方法!.pdfVIP

第４期 电　　子　　学　　报 Ｖｏｌ．４５　Ｎｏ．４ ２０１７年４月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｐｒ．　２０１７ 基于微分Ｐｅｔｒｉ网的业务流程模块适配方法 １，２ ２ １ 方贤文 ，陶小燕 ，刘祥伟 （１．安徽理工大学信息与计算科学系，安徽淮南２３２００１；２．同济大学计算机系，上海２０１８０４） 　　摘　要：　为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径 之一．以开放Ｐｅｔｒｉ网与微分Ｐｅｔｒｉ网为基础，提出了微分控制Ｐｅｔｒｉ网和微分数据Ｐｅｔｒｉ网的概念，分别从语义学角度利用微分 Ｐｅｔｒｉ网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Ｐｅｔｒｉ网对替换模块及其离散部分与连续部分 进行结构稳定性分析，以达到业务流程模块适配分析．理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定 性，模块适配效果较好．最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性． 关键词：　微分Ｐｅｔｒｉ网；控制流；数据流；模块适配 中图分类号：　ＴＰ３１９　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１７）０４０７７７０５ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１７．０４．００２ ＡｎａｌｙｓｉｓＭｅｔｈｏｄｏｆＭｏｄｕｌｅＡｄａｐｔａｔｉｏｎＢａｓｅｄｏｎＤｉｆｆｅｒｅｎｔｉａｌＰｅｔｒｉＮｅｔ １，２ ２ １ ＦＡＮＧＸｉａｎｗｅｎ ，ＴＡＯＸｉａｏｙａｎ，ＬＩＵＸｉａｎｇｗｅｉ （１．ＤｅｐａｒｔｍｅｎｔｏｆＩｎｆｏｒｍａｔｉｏｎａｎｄＣｏｍｐｕｔｉｎｇＳｃｉｅｎｃｅ，ＡｎｈｕｉＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｈｕａｉｎａｎ，Ａｎｈｕｉ２３２００１，Ｃｈｉｎａ； ２．ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＴｏｎｇｊｉＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２０１８０４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｉｎｏｒｄｅｒｔｏａｄａｐｔｔｏｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓｏｆｔｈｅｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓｍｕｌｔｉｆｕｎｃｔｉｏｎａｌａｎｄｄｙｎａｍｉｃｃｈａｎｇｅ，ｇｅｔｔｉｎｇ ｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓｅｓｗｉｔｈｍｏｄｕｌａｒｓｕｂｓｔｉｔｕｔｉｏｎｉｓｏｎｅｏｆｔｈｅｅｆｆｅｃｔｉｖｅｗａｙｓｔｏｓｏｌｖｅｔｈｅｓｅｐｒｏｂｌｅｍｓ．Ｔｈｅｃｏｎｃｅｐｔｏｆｄｉｆｆｅｒｅｎｔｉａｌ ｃｏｎｔｒｏｌＰｅｔｒｉｎｅｔａｎｄｄｉｆｆｅｒｅｎｔｉａｌｄａｔａＰｅｔｒｉｎｅｔａｒｅｐｒｏｐｏｓｅｄｂａｓｅｄｏｎｏｐｅｎＰｅｔｒｉｎｅｔａｎｄｄｉｆｆｅｒｅｎｔｉａｌＰｅｔｒｉｎｅｔ．Ｌｉｖｅｎｅｓｓｄｅｔｅｃ ｔｉｏｎｉｎｃｏｎｔｒｏｌｆｌｏｗａｎｄｄａｔａｆｌｏｗｏｆｍｏｄｅｌｓｉｓｅｘａｍｉｎｅｄｂｙｔｈｅｅｖｏｌｕｔｉｏｎｅｘｐｒｅｓｓｉｏｎｏｆｄｉｆｆｅｒｅｎｔｉａｌＰｅｔｒｉｎｅｔｔｈｒｏｕｇｈｓｅｍａｎ ｔｉｃｓ，ａｎｄｓｔａｂｉｌｉｔｙａｎａｌｙｓｉｓｏｆｓｕｂｓｔｉｔｕｔｉｏｎｍｏｄｕｌｅａｎｄｉｔｓｄｉｓｃｒｅｔｅａｎｄｃｏｎｔｉｎｕｏｕｓｐａｒｔｓａｒｅｄｏｎｅｂｙｄｉｆｆｅｒｅｎｔｉａｌＰｅｔｒｉｎｅｔ，ｒｅ