×
拉曼·卡扎米亚金;马可·皮斯托雷

分析web服务编排的实现条件。 （英语） Zbl 1225.68032号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿422961-76（2006）。
概要：Web服务编排语言允许从全局角度描述多部分协作，指定参与者为了实现共同的业务目标而交换的信息。编舞建模中出现的一个重要问题是协议的可实现性，即提取参与者的本地规范的可能性，以便他们的交互保持全局描述的某些关键属性。
在本文中，我们提出了一个用于定义全局协议和局部规范的正式框架。该方法的关键特性是，它允许在本地规范的组成中使用任意通信模型（同步/异步，有/无缓冲区）。我们引入了一个可实现性概念的层次结构，该概念允许捕获全局规范的各种属性，并将特定的通信模型与每个属性相关联。我们还提出了一种基于通信模型分析的方法，该方法允许将特定级别的可实现性与全局协议规范相关联。
有关整个系列，请参见[Zbl 1120.68008号].

引用于5文件

MSC公司：

68M10个 计算机系统中的网络设计和通信
68英里11 互联网主题
68个M12 网络协议

软件：

WSAT公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Kazhamakin}和\textit{M.Pistore}，莱克特。注释计算。科学。422961-76（2006年；Zbl 1225.68032）
全文： 内政部

参考文献：

[1] Andrews，T.、Curbera，F.、Dolakia，H.、Goland，J.、Klein，J.，Leymann，F.，Liu，K.、Roller，D.、Smith，D.、Thatte，S.、Trickovic，I.、Weeravarana，S.：Web服务的业务流程执行语言（版本1.1）（2003）
[2] OMG：业务流程建模语言（BPML）（2005），http://www.bpmi.org
[3] W3C:Web服务编排描述语言1.0版（2005），http://www.w3.org/TR/ws-cdl-10/
[4] Kazhamakin，R.，Pistore，M.，Santuria，L.：Web服务组合中的通信模型分析。In：程序。WWW 2006（2006）·Zbl 1225.68032号 ·数字对象标识代码：10.1145/1135777.1135819
[5] Fu，X.，Bultan，T.，Su，J.：对话协议：反应式电子服务规范和验证的形式主义。西奥。计算。科学。 328, 19–37 (2004) ·Zbl 1071.68002号 ·doi:10.1016/j.tcs.2004.07.004
[6] Busi，N.、Gorrieri，R.、Guidi，C.、Lucchi，R.和Zavataro，G.：舞蹈与编配：系统设计的协同方法。摘自：Benatallah，B.，Casati，F.，Traverso，P.（编辑）ICSOC 2005。LNCS，第3826卷，第228-240页。斯普林格，海德堡（2005）·doi:10.1007/11596141_18
[7] Fu，X.，Bultan，T.，Su，J.：交互BPEL Web服务分析。In：程序。WWW 2004（2004）·Zbl 1103.68613号 ·doi:10.1145/988672.988756
[8] Brand，D.，Zafiropulo，P.：关于通信有限状态机。J.ACM 30，323–342（1983年）·兹比尔0512.68039 ·数字对象标识代码：10.1145/322374.32280
[9] Kazhamakin，R.，Pistore，M.：Web服务组合中控制和数据的静态验证。In：程序。ICWS 2006（2006）·Zbl 1225.68032号
[10] Brogi，A.，Canal，C.，Pimentel，E.，Vallecillo，A.：规范化Web服务编排。In：程序。WS-FM 2004（2004）·兹比尔1271.68083 ·doi:10.1016/j.entcs.2004.05.007
[11] Foster，H.、Uchitel，S.、Magee，J.、Kramer，J.：Web服务编排中基于模型的义务分析。In：程序。AICT-ICIW 2006（2006）·doi:10.1109/AICT-ICIW.2006.131
[12] Mendling，J.，Hafner，M.：从组织间工作流到流程执行：从WS-CDL生成BPEL。In：程序。OTM 2005（2005）·doi:10.1007/11575863_70
[13] Bravetti，M.，Guidi，C.，Lucchi，R.，Zavattaro，G.：用编排语言支持电子商务系统的形式化。In：程序。SAC 2005（2005）·数字对象标识代码：10.1145/1066677.1066867
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。