丹尼尔·莫尔特；简·奥尔特曼 DaGen：从DAML-S到高级Petri网的自动转换工具。 （英语） Zbl 1129.68459号 Wermelinger，Michel（ed.）等人，《软件工程的基本方法》，第七届国际会议，FASE 2004，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2004，西班牙巴塞罗那，2004年3月29日至4月2日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21305-8/pbk）。计算机科学课堂讲稿2984209-213（2004）。 摘要：互联网为业务流程和Web服务的分布式执行提供了可能性。这导致了各种Web服务的出现，这些服务可能是为了完成任务而组合的。要有效地组合这些任务，简单的工作流描述已经不够了。因此，我们建议基于高级Petri网（称为参考网）进行描述，以考虑互联网上提供的服务的前后条件。我们演示了如何将DAML-S模型自动转换为高级网络，从而可以在此类上下文中直接执行，包括基于Petri网的MAS。关键词：高级Petri网、网中网、参考网、更新、工作流、web服务、业务流程、DAML-S、流程本体关于整个系列，请参见[Zbl 1048.68011号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68米10 计算机系统中的网络设计和通信 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 软件：续订；DaGen公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Moldt}和\textit{J.Ortmann}，莱克特。注释计算。科学。2984209--213（2004年；Zbl 1129.68459） 全文： 内政部