洛伦佐·卡普拉；沃尔特·卡佐拉 通过反射Petri网的进化设计：工作流应用程序。 （英语） Zbl 1157.68396号 Pahl，C.（编辑），软件工程。IASTED国际会议（SE 2008）会议记录，作为IASTED第26届应用信息学国际多会议的一部分，奥地利因斯布鲁克，2008年2月12-14日。卡尔加里：国际科学技术促进发展协会（IASTED）；加利福尼亚州阿纳海姆：Acta出版社（ISBN 978-0-88986-716-1/CROM）。200-207 (2008). 摘要：动态工作流的设计需要足够的建模/规范形式和工具，以妥善处理工作流操作期间可能发生的更改。一种常见的方法是使用不考虑当前行为而考虑进化的细节来污染工作流设计。这通常会妨碍分析、重用和维护。我们提出并讨论了采用最新的基于Petri网的反射模型来支持动态工作流设计。将功能方面与进化分开，导致动态工作流模型融合了灵活性和正式验证基本工作流属性的能力。采用了声音动态工作流的结构现场表征。应用程序将面临一个局部问题：如何确定在将工作流实例从旧模板转移到新模板时，哪些任务应该重做，哪些任务不应该重做。有关整个系列，请参见[Zbl 1154.68022号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：动态工作流；Petri网；反射；进化 软件：GreatSPN 1.7；GreatSPN公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Capra}和\textit{W.Cazzola}，in：软件工程。IASTED国际会议论文集（SE 2008），作为第26届IASTED应用信息学国际多会议的一部分，奥地利因斯布鲁克，2008年2月12-14日。卡尔加里：国际科学技术促进发展协会（IASTED）；加利福尼亚州阿纳海姆：Acta出版社。200-207（2008；Zbl 1157.68396）