基于工作流建模过程中的验证技术的分析
摘要
工作流建模合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题。基于有向有环图(DCG图)的工作流模型结构正确性进行验证的图归约法和事件平衡定理的引入,并对它们加以改进和论证,用以分析模型中是否是合理性的结构。
出处
《福建电脑》
2006年第1期63-64,共2页
Journal of Fujian Computer
参考文献3
-
1周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9. 被引量：32
-
2邹宇,刘毅,陈佩文.基于图归约法的工作流模型验证[J].计算机应用,2003,23(4):86-88. 被引量：6
-
3罗海滨,范玉顺,吴澄.工作流合理性验证中的事件平衡分析[J].软件学报,2002,13(8):1686-1691. 被引量：16
二级参考文献49
-
1T. Murata. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, 1989, 77(4) : 541-580.
-
2W. Sadiq, M. Orlowska. Applying graph reduction techniques for identifying structural conflicts in process models. In: Proc. of the 11th Int'l Conf. on Advanced Information Systems Engineering(CAiSE'99). Berlin: Springer Verlag, 1999. 195-209.
-
3W. Sadiq, M. Orlowska. Analyzing process models using graph reduction techniques. Information System, 2000, 25(2): 117-134.
-
4H. Lin, Z. Zhao, H. Li, et al. A novel graph reduction algorithm to identify structural conflicts. In: Proc. of the 35th Hawaii Int'l Conf. on System Sciences (HICSS-35) . LosAlamitos, CA: IEEE Computer Society Press, 2002. 289-290.
-
5Li Pei-wu, Lu Zheng-ding. Reduction techniques of workflow verification and its implementation. In: Hart Yanbo, Shi Meilin eds. Proc. of Int'l Workshop on Grid and Cooperative Computing. Beijing: Publishing House of Electronics Industry,2002. 703--710.
-
6H. Genrich. Equivalence transformations of PrT-Nets. In: G.Rozenberg ed.. Advances in Petri nets. Berlin: Springer, 1990.179-- 208.
-
7S. Haddad. A reduction theory for coloured nets. In: K. Jensen,G. Rozenberg eds.. LNCS: High Level Petri Nets, Theory and Application. Berlin: Springer Verlag, 1991. 399-425.
-
8R. Sloan, U. Buy. Reduction rules for time Petri nets. Acta Informatica, 1996, 33(7): 687--706.
-
9K. Schmidt. Applying reduction rules to algebraic Petri nets.Helsinki University of Technology, Tech. Rep. : 44, 1997.
-
10C. Ramamoortht, Y. Yaw. A Petri net reduction algorithm forprotocol analysis. In: W. Kosinsky, et al. eds.. Communications and Architecture & Protocols. New York: Association for Computing Machinery, 1986. 157-- 166.
共引文献49
-
1邢光林,洪帆,朱贤.基于扩展任务结构的工作流建模及分析[J].系统仿真学报,2005,17(z1):105-109.
-
2郑红,明仲.CORBA工作流时间Petri网建模与分析[J].深圳大学学报（理工版）,2009,26(1):42-46.
-
3刘光曹,王坚,董健,邓小超,金革.工作流挖掘与Petri网表示的对偶交换[J].电子技术（上海）,2010(10):10-12.
-
4陶泽,谢里阳,袁锋.受时间约束的工作流关键路径的确定[J].计算机工程与应用,2004,40(29):21-23. 被引量：7
-
5陶泽,谢里阳,袁锋.基于时间约束的工作流进程的性能研究[J].机械设计与制造,2004(6):49-51. 被引量：1
-
6刘胜,范玉顺.资源约束下实例在工作流中停留时间分析方法[J].电子学报,2005,33(10):1867-1871. 被引量：11
-
7周建涛,叶新铭.基于组件级化简的语义验证方法在电子商务过程中的应用[J].内蒙古大学学报（自然科学版）,2006,37(2):195-200. 被引量：1
-
8庞建民,赵荣彩,王怀民.基于逻辑框架LF的语义性质之验证[J].计算机科学,2006,33(5):12-16.
-
9周建涛,唐旭文.工作流过程的语义验证方法应用[J].内蒙古大学学报（自然科学版）,2006,37(3):340-344.
-
10邢光林,陈卓.基于扩展任务结构的工作流建模及其合理性验证[J].计算机工程与科学,2006,28(7):91-94.
-
1罗海滨,范玉顺,吴澄.工作流合理性验证中的事件平衡分析[J].软件学报,2002,13(8):1686-1691. 被引量：16
-
2邹宇,刘毅,陈佩文.基于图归约法的工作流模型验证[J].计算机应用,2003,23(4):86-88. 被引量：6
-
3杨静洁,王鑫伟,黄金华,姚又军.热处理CAPP系统的应用[J].金属成形工艺,1997,15(6):33-35.
-
4刘白.模具热处理CAPP系统的开发与应用[J].长沙大学学报,1999,13(2):42-44.
-
5刘白,卢辉.模具热处理CAPP系统的开发与应用[J].机械设计与制造,1999(6):58-58.
-
6梁勇强.基于边被收缩图的有向有环图有向割集求解算法[J].玉林师范学院学报,2009(5):8-12.
-
7余子开,姜开宇.基于工作流的模具企业知识管理系统研究[J].模具工业,2012,38(2):9-15. 被引量：1
-
8喻斌,武友新.工作流过程建模中验证技术的研究[J].微计算机信息,2008,24(3):220-222. 被引量：7
-
9林敏,钟一文.三种GPU并行的自适应邻域模拟退火算法[J].计算机工程与应用,2015,51(22):70-76. 被引量：1
-
10文严治,连瑞琦,吴承勇,冯晓兵,张兆庆.支持有向有环图的微调度方法[J].计算机研究与发展,2005,42(3):387-393. 被引量：1
