沃夫兰

Woflan:一个基于Petri网的工作流分析器。工作流管理技术为业务流程支持提供了一个灵活的解决方案,方便了新业务流程的创建和现有流程的修改。不幸的是,今天的工作流产品不支持工作流验证。在设计时发生的错误不会被检测到,并且会在运行时导致代价高昂的故障。Woflan帮助您在工作流投入生产之前检测这些错误。沃夫兰是一种特色鲜明的产品。采用最新的Petri网分析技术来验证工作流过程的正确性。Woflan的功能从其他工作流工具放弃的地方开始。Woflan可以与多个工作流管理系统和BPR工具进行接口。挑战不在于检测错误:真正的挑战是提供诊断,为什么出了问题,以及如何修复。为此,Woflan生成高质量的诊断信息,指导设计者走向错误。Woflan基于强大的理论成果和实践经验,结合现代工作流管理系统


zbMATH参考文献(36篇文章引用)

显示第1到第20个结果,共36个。
按年份排序(引用)
  1. Bride,Hadrien;Kouchnarenko,Olga;Peureux,Fabien:简化通用可靠性验证的工作流网络(2017年)
  2. 基于Kamalael-Khoun的商业流程验证(基于Malioun-Khoun的商业流程;基于Barkioun的高级Petri网;2017年)
  3. Clempner,Julio:一种分析方法,用于验证经典可靠性的标准工作流/Petri网验证(2014)
  4. van Hee,Kees M.;Sidorova,Natalia;van der Werf,Jan Martijn:利用多工作流网络优化可同步位置(2013)
  5. Kokash,Natalia;Krause,Christian;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中的模型检查数据流框架(2012)
  6. Reichert,Manfred;Weber,Barbara:在过程感知信息系统中实现灵活性。挑战、方法、技术(2012)
  7. Polyvyanyy,Artem;Weidlich,Matthias;Weske,Mathias:《工作流网络的连通性:逐步验证的基础》(2011)
  8. van der Aalst,Wil;Stahl,Christian:业务流程建模。面向Petri网的方法(2011)
  9. van der Aalst,W.M.P.;van Hee,K.M.;ter Hofstede,A.H.M.;Sidorova,N.;Verbeek,H.M.W.;Voorhoeve,M.;Wynn,M.T.:工作流网络的可靠性:分类、可判定性和分析(2011)
  10. van Hee,Kees M.;Sidorova,Natalia;van der Werf,Jan Martijn:用多工作流网络优化可同步位置。弱终止保留!(2011年)
  11. Norta,Alex;Eshuis,Rik:统一业务流程协作的规范和验证(2010)ioport公司
  12. van der Aalst,Wil M.P.;Dumas,Marlon;Gottschalk,Florian;ter Hofstede,Arthur H.M.;La Rosa,Marcello;Mendling,Jan:在业务流程模型配置过程中保持正确性(2010)
  13. van Hee,K.M.;Verbeek,H.M.W.;Stahl,Christian;Sidorova,N.:一个链接和定价无治愈无报酬服务的框架(2009年)
  14. Gottschalk,F.;van der Aalst,W.M.P.;Jansen-Vullers,M.H.;Verbeek,H.M.W.:Protos2cpn:使用有色Petri网配置和测试业务流程(2007)ioport公司
  15. Ouyang,Chun;Verbeek,Eric;van der Aalst,Wil M.P.;Breutel,Stephan;Dumas,Marlon;ter Hofstede,Arthur H.M.:WS-BPEL中控制流的形式语义和分析(2007)
  16. van Hee,Kees;Oanea,Olivia;Serebrenik,Alexander;Sidorova,Natalia;Voorhoeve,Marc;Lomazova,Irina A.:检查自适应工作流网络的属性(2007)
  17. 周从华;陈振宇:基于Petri网的模型检查工作流网(2006)
  18. Norta,Alexander:使用XRL/flower实现基于Petri网的工作流(2004)
  19. van der Aalst,Wil M.P.:业务流程管理解谜:工作流管理模型、系统和标准教程(2004)
  20. van Hee,Kees;Sidorova,Natalia;Voorhoeve,Marc:工作流网络的一般可靠性是可判定的(2004)

更多出版物请访问:http://www.win.tue.nl/woflan/doku.php?id=出版物