van Hee，K.M。；H.M.W.韦贝克。；克里斯蒂安·斯塔尔；新墨西哥州西多罗瓦。 连接和定价无电流无付服务的框架。 （英语） Zbl 1235.68040号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理II》。进程软件信息系统中并发性的特殊问题。柏林：施普林格出版社（ISBN 978-3-642-00898-6/pbk）。计算机科学讲义5460。《期刊副刊》，192-207（2009）。 摘要：在本文中，我们提出了一个框架，该框架允许我们编排web服务，以便此编排中涉及的web服务能够正确交互。为了实现这一点，我们预定义了服务接口和某些路由构造。此外，我们定义了一些规则，以根据web服务的价格增量计算这种适当交互的编排（即web服务）的价格。考虑到成功的概率，web服务只有在其服务交付后才能获得支付（无需支付）。为了确定包含web服务所承担风险的安全价格，我们考虑了成本的方差。有关整个系列，请参见[Zbl 1160.68303号]. 引用于2文件 MSC公司： 68英里11 互联网主题 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：沃夫兰 PDF格式BibTeX公司 XML格式引用 \文本{K.M.van Hee}等人，Lect。票据计算。科学。5460192-207（2009年；Zbl 1235.68040） 全文： 内政部 链接 参考文献： [1] Micali，S.，Rivest，R.L.：重新审视小额支付。收录：Preneel，B.（编辑）CT-RSA 2002。LNCS，第2271卷，第149-163页。斯普林格，海德堡（2002）·Zbl 1048.94517号 ·doi:10.1007/3-540-45760-7_11 [2] Murata，T.：Petri网：属性、分析和应用。IEEE会议录77（4），541-580（1989）·数字对象标识代码：10.1109/5.24143 [3] Reisig，W.：Petri Nets:简介。EATCS理论计算机科学专著，第4卷。柏林施普林格（1985）·Zbl 0555.68033号 ·doi:10.1007/978-3-642-69968-9 [4] van der Aalst，W.M.P.：Petri网在工作流管理中的应用。电路、系统和计算机杂志8（1），21–66（1998）·doi:10.1142/S0218126698000043 [5] Verbeek，H.M.W.，Basten，T.，van der Aalst，W.M.P.：使用Woflan诊断工作流过程。《计算机杂志》44（4），246–279（2001）·Zbl 0993.68141号 ·doi:10.1093/comjnl/44.4.246 [6] H.M.W.Verbeek、W.M.P.van der Aalst：Woflan 2.0：基于Petri网的工作流诊断工具。In:Nielsen，M.，Simpson，D.（编辑）ICATPN 2000。LNCS，第1825卷，第475-484页。斯普林格，海德堡（2000）·Zbl 0986.68781号 ·数字对象标识代码：10.1007/3-540-44988-4_28 [7] Ross，S.：概率模型简介。学术出版社，伦敦（2007） [8] Massuthe，P.、Reisig，W.、Schmidt，K.：SOA的操作指南方法。数学、计算和远程信息学年鉴1（3），35-43（2005） [9] van Hee，K.M.，Verbeek，H.M.W.，Stahl，C.，Sidorova，N.：No-Cure-No-Pay服务的链接和定价框架。荷兰埃因霍温理工大学计算机科学报告08/19（2008）·Zbl 1235.68040号 [10] van der Aalst，W.M.P.，Beisiegel，M.，van Hee，K.M.，König，D.，Stahl，C.：基于SOA的体系结构框架。国际商业流程集成与管理杂志（IJBPIM）2（2），91–101（2007）·doi:10.1504/IJBPIM.2007.015132 [11] Beisiegel，M.等人：服务组件体系结构-组装模型规范。SCA 1.00版，2007年3月15日，IBM、SAP等人（2007） [12] Milanovic，N.：具有正确性保证的基于契约的web服务组合框架。收录：Malek，M.、Nett，E.、Suri，N.（编辑）ISAS 2005。LNCS，第3694卷，第52-67页。斯普林格，海德堡（2005）·doi:10.1007/11560333_5 [13] Díaz，G.，Cambronero，M.-E.，Pardo，J.J.，Valero，V.，Cuartero，F.：使用模型检查技术自动生成正确的web服务编排和编排。输入：AICT/ICW（2006）·doi:10.1109/AICT-ICIW.2006.53 [14] Magnani，M.，Montesi，D.：BPMN：它的成本是多少？增量方法。摘自：Alonso，G.，Dadam，P.，Rosemann，M.（编辑）BPM 2007。LNCS，第4714卷，第80–87页。斯普林格，海德堡（2007）·Zbl 05319436号 ·doi:10.1007/978-3-540-75183-06 [15] Cardoso，J.、Sheth，A.P.、Miller，J.A.、Arnold，J.和Kochut，K.：工作流和web服务流程的服务质量。《网络期刊》第1卷第3期，281-308页（2004年）·Zbl 05461216号 ·doi:10.1016/j.websem.2004.03.001 [16] Zeng，L.，Benatallah，B.，Ngu，A.H.H.，Dumas，M.，Kalagnanam，J.，Chang，H.：用于web服务组合的Qos-aware中间件。IEEE传输。软件工程30（5），311-327（2004）·兹伯利05113744 ·doi:10.1109/TSE.2004.11 [17] De Paoli，F.、Lulli，G.、Maurino，A.：基于质量的复合web服务设计。摘自：Dan，A.，Lamersdorf，W.（编辑）ICSOC 2006。LNCS，第4294卷，第153-164页。斯普林格，海德堡（2006）·doi:10.1007/11948148_13 [18] vom Brocke，J.，Lindner，M.A.：服务投资组合衡量：一个评估超出要求决策的财务后果的框架。载于：Aiello，M.、Aoyama，M.，Curbera，F.、Papazoglou，M.P.（编辑）ICSOC 2004，第203-211页。ACM，纽约（2004） [19] Günther，O.，Tamm，G.，Leymann，F.：网络服务定价。国际商业流程整合与管理杂志（IJBPIM）2（2），132-140（2007）·doi:10.1504/IJBPIM.2007.015137 [20] 丁伟：通过商业价值建模和分析进行服务定价。在：2007年IEEE国际服务计算会议（SCC 2007），2007年7月9日至13日，第380–386页。IEEE计算机学会，盐湖城（2007） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。