尼尔斯·洛曼;彼得·马苏斯;卡斯滕·沃尔夫 有限状态服务的操作指南。 （英语） Zbl 1226.68063号 Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546，321-341（2007）。 摘要：我们研究建模为开放工作流网（oWFN）的服务，并将其行为描述为服务自动机。基于任意有限状态服务自动机，我们引入了操作指南的概念，推广了以前仅限于非循环服务的工作。操作指南提供了有关如何与oWFN（N）正确交互的完整信息（在本文中：死锁-自由和有限通信）。它可以被执行，从而形成一个正确交互的伙伴\（N\），也可以用于支持服务发现。（N）的操作指南是一个特殊的服务自动机（S），它使用布尔注释进行了丰富\（S\）与服务自动机（\ mathit{Prov}\）正确交互，表示\（N\）的行为，并且能够模拟与\（\ mathat{Prov}\）进行正确交互的所有其他服务。附加的注释也提供了有关模拟服务是否与\（\mathit{Prov}\）正确交互的完整信息。关于整个系列，请参见[Zbl 1121.68005号]. 引用于12文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：BPEL2型WFN PDF格式BibTeX公司 XML格式引用 \textit{N.Lohmann}等人，莱克托。注释计算。科学。4546、321--341（2007；Zbl 1226.68063） 全文： 内政部 链接