达根

DaGen:从DAML-S到高级Petri网的自动转换工具。Internet为业务流程和Web服务的分布式执行提供了可能。这导致了各种Web服务的出现,这些服务可能被组合起来以完成任务。要有效地组合这些任务,简单的工作流描述不再足够。因此,我们建议一种基于高级Petri网的描述,称为参考网,考虑到在因特网上提供的服务的前后条件。我们展示了如何将DAML-S模型自动转换为高级网络,从而可以直接在这样的环境中执行,包括基于Petri网的MAS。


zbMATH中的参考文献(参考文献6条,1标准件)

显示结果1到6,共6个。
按年份排序(引用)

  1. 布朗宁,泰森R。;Yassine,Ali A:资源受限多项目网络问题的随机生成器(2010)
  2. 倪岳;范玉顺:语义web服务组合的模型转换与形式化验证(2010)
  3. 古丽亚托,丹尼斯;Bôaventura,里卡多S。;玛雅,马塞洛A。;兰加耶恩,兰加拉杰M。;西梅多,马里安格拉S。;Macedo,Túlio A.A.:INDIAM-用于解释乳房X光片的电子学习系统(2009)ioport公司
  4. Elmaghraby,Salah:计划项目的数学规划和财务目标(2005)
  5. 莫特,丹尼尔;Ortmann,Jan:DaGen:从DAML-S到高级Petri网的自动转换工具(2004)
  6. 阿格拉瓦尔,医学博士。;Elmaghraby,东南部。;Herroelen,W.S.:DAGEN:项目活动网的测试集生成器(1996)