×
菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德

通过应用程序到web服务组合的异步编排进行自动机合成的算法和复杂性。 （英语） Zbl 1291.68277号

Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，3-18页（2009年）。
摘要：服务组合是实现web上复杂任务所必需的。它被描述为计划合成问题或软件合成问题：给定一个目标和一组web服务，生成满足目标的web服务组合。我们提出了用于执行自动web服务组合的算法。我们还从计算复杂性的角度研究了服务的组合。
关于整个系列，请参见[Zbl 1279.68006号].

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68英里11 互联网主题
65年第68季度 形式语言和自动机
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

服务组合;控制器综合;计算复杂性

软件：

SWORD公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，《电子》。注释Theor。计算。科学。229，编号3，3--18（2009；Zbl 1291.68277）
全文： 内政部

参考文献：

[1] 阿尔瓦雷斯，C。；Balcázar，J。；加巴罗，J。；Sántha，M.，并行系统设计和分析中的并行复杂性，（欧洲并行架构和语言。欧洲并行架构与语言，PARLE’91（1991），Springer-Verlag），288-303
[2] 安德鲁斯，T。；Curbera，F。；霍拉基亚，H。；戈兰德，Y。；Klein，J。；莱曼，F。；刘凯。；滚筒，D。；史密斯，D。；Thatte，S。；我·特里科维奇。；Weerawarana，S.，《Web服务业务流程执行语言》（BPEL4WS）（2004）
[3] Ariba、Microsoft、IBM，“Web服务描述语言（WSDL）”。www.w3.org/TR/2001/；Ariba、Microsoft、IBM，“Web服务描述语言（WSDL）”。www.w3.org/TR/2001/
[4] 阿诺德，A。；文森特，A。；Walukiewicz，I.，部分观测控制器合成游戏，理论计算机科学，303，7-34（2003）·Zbl 1175.93148号
[5] Berardi，D。；Calvanee，D。；德贾科莫，G。；船体，R。；Mecella，M.，带消息传递的基于转换的语义Web服务的自动组合，（第31届超大数据库国际会议论文集（2005），VLDB捐赠），613-624
[6] 贝拉迪博士。；Calvanee，D。；德贾科莫，G。；伦泽里尼，M。；Mecella，M.，导出其行为的电子服务的自动组合，（面向服务的计算，面向服务的计算机，ICSOC 2003（2003），Springer），43-58
[7] Berardi，D。；谢赫，F。；德贾科莫，G。；Patrizi，F.，《通过模拟实现自动服务组合》，《国际计算机科学基础杂志》，第19期，第429-451页（2008年），世界科学出版社·Zbl 1155.68014号
[8] Berwanger，D。；Grädel，大肠杆菌。；Lenzi，G.，《微积分的变量层次结构是严格的》，《计算系统理论》，40437-466（2007）·Zbl 1121.68072号
[9] 谢赫，F。；德贾科莫，G。；Mecella，M.，《信任软件社区中的自动Web服务组合》，（第三届ACM安全Web服务研讨会论文集（2006年），计算机协会），43-52
[10] De Giacomo，G.，M.De Leoni，M.Mecella，F.Patrizi，“移动服务的自动工作流组合”。摘自：《IEEE网络服务国际会议论文集》。网络服务国际会议（2007）823-830；De Giacomo，G.，M.De Leoni，M.Mecella，F.Patrizi，“移动服务的自动工作流组合”。摘自：《IEEE网络服务国际会议论文集》。网络服务国际会议（2007）823-830
[11] Fitting，M.，《模态逻辑和直觉逻辑的证明方法》（1983年），Reidel·Zbl 0523.03013号
[12] Huhns，M.，Agents as Web services，IEEE Internet Computing，693-95（2002）
[13] Jategaonkar，L。；Meyer，A.，确定安全有限网络上的真正并发等价，理论计算机科学，154107-143（1996）·Zbl 0877.68056号
[14] 北卡罗来纳州卡万察。；Burdett，D.，Web服务编排描述语言（WS-CDL）（2004）
[15] 科尼格，D。；北卡罗来纳州洛曼。；Moser，S。；斯塔尔，C。；Wolf，K.，《扩展抽象WS-BPEL过程的兼容性概念》，（第十七届万维网国际会议论文集（2008），万维网），785-794
[16] Melliti，T。；哈达德，S。；苏纳，A。；El Fallah Seghrouchni，A.，Web-MASI：使用基于Web服务的方法的多代理系统互操作性，（IEEE/WIC/ACM智能代理技术国际会议论文集2005（2005），IEEE），739-742
[17] Milanovic，N。；Malek，M.，Web服务组合的当前解决方案，IEEE互联网计算，8，51-59（2004）
[18] 穆勒，I。；科瓦尔奇克，R。；Braun，P.，《面向服务组合的基于代理的联盟形成》，（2006年IEEE/WIC/ACM智能代理技术国际会议论文集，IEEE），73-80
[19] Murata，T.，《Petri网：特性、分析和应用》，《IEEE学报》，第17期，第541-574页（1989年）
[20] Papadimitriou，C.，计算复杂性（1994），Addison-Wesley·Zbl 0833.68049号
[21] 皮斯托雷，M。；巴本，F。；Bertoli，P。；沙帕劳，D。；Traverso，P.（规划和监控Web服务组合，人工智能：方法、系统和应用（2004），Springer），106-115
[22] Pistore，M.，A.Marconi，P.Bertoli，P.Traverso，“通过知识级规划实现Web服务的自动组合”。摘自：《第十九届国际人工智能联合会议记录》。国际人工智能联合会议（2005）1252-1259；Pistore，M.，A.Marconi，P.Bertoli，P.Traverso，“通过知识级规划实现Web服务的自动组合”。摘自：《第十九届国际人工智能联合会议记录》。国际人工智能联合会议（2005）1252-1259
[23] Ross-Talbot，S.，《Web服务编排和流程代数》（2004）
[24] Sardiña，S.，F.Patrizi，G.De Giacomo，“从多个分布式行为中自动合成全局行为”。摘自：《第二十届AAAI人工智能会议论文集》。人工智能会议（2007）1063-1069；Sardiña，S.，F.Patrizi，G.De Giacomo，“从多个分布式行为中自动合成全局行为”。摘自：《第二十届AAAI人工智能会议论文集》。人工智能会议（2007）1063-1069
[25] 特拉弗索，P。；Pistore，M.，语义Web服务到可执行进程的自动组合，（语义Web-ISWC 2004（2004），Springer），380-394
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。