沃夫兰

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


zbMATH中的参考文献(参考文献36条)

显示第1到第20个结果,共36个。
按年份排序(引用)
  1. 新娘,哈德良;奥尔加库什纳连科;Peureux,Fabien:通用可靠性验证的工作流网络缩减(2017)
  2. 艾哈迈德·赫尔顿;巴考伊,卡梅尔;Ioualalen,Malika:基于高级Petri网的复杂业务流程的形式化验证(2017)
  3. Clempner,Julio:一种分析方法,用于验证经典可靠性的标准工作流/Petri网验证(2014)
  4. 范熙,基斯·M。;西多罗瓦,纳塔利亚;van der Werf,Jan Martijn:利用多工作流网络优化可同步位置(2013)
  5. 科卡斯,纳塔莉亚;克劳斯,基督徒;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中数据流的模型检查框架(2012)
  6. 瑞德,曼弗雷德;Barbarer aware:支持信息过程中的灵活性。挑战、方法、技术(2012)
  7. 波里维扬,阿泰姆;魏德利希,马提亚斯;Weske,Mathias:《工作流网络的连通性:逐步验证的基础》(2011)
  8. 威尔士州范德阿尔斯特;克里斯汀·斯塔尔:业务流程建模。面向Petri网的方法(2011)
  9. 范德阿尔斯特,W.M.P。;范熙,K.M。;特霍夫斯泰德,A.H.M。;西多罗瓦,N。;韦比克,H.M.W。;沃霍夫,M。;Wynn,M.T.:工作流网络的可靠性:分类、可判定性和分析(2011)
  10. 范熙,基斯·M。;西多罗瓦,纳塔利亚;vanderwerf,Jan Martijn:用多工作流网络优化可同步位置。弱终止保留!(2011年)
  11. 诺塔,亚历克斯;Eshuis,Rik:统一业务流程协作的规范和验证(2010)ioport公司
  12. 范德阿尔斯特,Wil M.P。;大仲马,马龙;哥萨克,弗洛里安;泰尔·霍夫斯泰德,亚瑟·H·M。;拉罗莎,马塞洛;Mendling,Jan:在业务流程模型配置期间保持正确性(2010)
  13. 范熙,K.M。;韦比克,H.M.W。;斯塔尔,基督徒;Sidorova,N.:无治愈无报酬服务的链接和定价框架(2009)
  14. 哥查尔克,F。;范德阿尔斯特,W.M.P。;詹森·瓦勒斯,医学硕士。;Verbeek,H.M.W.:Protos2cpn:使用有色Petri网来配置和测试业务流程(2007)ioport公司
  15. 欧阳春;韦贝克,埃里克;范德阿尔斯特,Wil M.P。;布雷特尔,斯蒂芬;大仲马,马龙;ter Hofstede,Arthur H.M.:WS-BPEL中控制流的形式语义和分析(2007)
  16. 范熙,基斯;奥妮亚,奥利维亚;亚历山大·塞雷布雷尼克;西多罗瓦,纳塔利亚;沃霍夫,马克;Lomazova,Irina A.:检查自适应工作流网络的属性(2007)
  17. 周从华;陈振宇:基于Petri网的模型检验工作流网(2006)
  18. Norta,Alexander:使用XRL/flower实现基于Petri网的工作流(2004)
  19. van der Aalst,Wil M.P.:业务流程管理解谜:工作流管理模型、系统和标准教程(2004)
  20. 范熙,基斯;西多罗瓦,纳塔利亚;Voorhoeve,Marc:工作流网络的广义可靠性是可判定的(2004)

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