×

奶牛

swMATH ID: 6955
软件作者: 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐
描述: web服务编排的演算。我们介绍了COWS(Calculus for Orchestration of Web Services),这是一种新的SOC基础语言,其设计受到了WS-BPEL(Web服务编配的事实上的标准语言)的影响。COWS以一种原始的方式结合了从众所周知的过程计算中借用的许多成分,例如异步通信、多变量同步、模式匹配、保护、分隔接收和终止活动,同时产生不同于其中任何一种的结果。几个例子说明了COWS的特性,并展示了它在建模命令式和编排结构(如web服务、流程图、故障和补偿处理程序)以及对其他流程和编排语言进行编码方面的表现力。
主页: http://rd.springer.com/chapter/10.1007%2F978-3-540-71316-6_4
相关软件: 自旋蛋白;抄送Pi;皮杜克;莫德;兽人;科莱姆;乱涂;BPEL2PN公司;BPEL2oWFN型;琳达;朱莉;棱镜;SPY公司;z3(零3);Uppaal公司;AIOCJ公司;第二代外国存托凭证;MarCaSPiS公司;LTSA-WS公司;魔法
引用于: 46文件
全部的 前5名

94位作者引用

9 罗萨里奥·普格利泽
9 弗朗西斯科·蒂埃齐
5 伊万·拉内斯
5 亚历山德罗·拉帕杜拉
4 吉田、Nobuko
格内西、斯特凡尼亚
莫里斯·比克。
吉安路易吉·扎瓦塔罗
2 劳拉·博奇
2 罗伯托·布鲁尼
2 洛科·德尼古拉
2 亚历山德罗·范特奇
2 吉安·路易吉,法拉利
2 卡拉·费雷拉
2 本田、高黑
2 迭戈·拉特拉
2 梅克·马西克
2 弗朗科·马扎蒂
2 何塞·梅塞盖尔·瓜伊塔
2 法布里西奥·蒙泰西
2 鲁米亚纳内科娃
2 弗莱明·尼尔森
2 佩雷斯,豪尔赫·A。
2 汉内·里斯·尼尔森
2 卡蒂亚·瓦兹
2 雨果·托雷斯·维埃拉
1 费萨尔·阿布扎德
1 Abreu Jünior,Joáo Carlos
1 阿尔·胡迈迈迪,阿贝尔·S。
1 穆萨布·A·阿尔图尔基。
1 Bae,Kyungmin先生
1 费德里科·班蒂
1 马西莫·巴托莱蒂
1 阿尼尔班·巴塔查里亚
1 马里奥·布拉维蒂
1 路易斯·凯雷斯
1 玛丽亚·艾米利亚·坎布罗内罗
1 马尔科·卡博尼
1 伊利亚卡斯特拉尼
1 维多利亚州玛丽亚·桑加尔
1 陈振邦
1 文森佐·西安西亚
1 毛里齐奥·齐马达莫雷
1 路易斯·克鲁兹·菲利佩
1 罗曼·德曼根
1 Deniélou、Pierre-Malo
1 马里亚纽拉州Dezani-Ciancaglini
1 辛齐亚·迪·朱斯托
1 格雷戈里奥·迪亚兹
1 玛丽贝尔·费尔南德斯
1 JoséLuiz Fiadeiro
1 高,韩
1 西尔维娅·吉勒赞
1 杰里米·吉本斯
1 斯蒂芬·戈顿
1 罗伯特·瓜夏莱
1 克劳迪奥·吉迪
1 何继峰
1 胡雷蒙德
1 亚历山大·纳普
1 李静
1 刘志明
1 安托尼亚州洛佩斯
1 雨果·A·洛佩兹。
1 米歇尔·洛雷蒂
1 赫梅内吉尔达·马西阿
1 弗朗西斯科·马丁斯
1 梅齐娜,莱昂纳多·盖塔诺
1 乔纳森·米乔克斯
1 约翰·马林斯
1 伊利·纳伊姆
1 约万卡·潘托维奇
1 Ken G.皮尔斯。
1 大卫·普兰迪
1 科拉多·普里亚米
1 保拉·夸里亚
1 安托尼奥·拉瓦拉
1 斯蒂芬·雷夫·马加尼科
1 亚历山德罗·里奇
1 毛里齐奥·塞巴斯蒂安尼斯
1 乔安·塞科。
1 丹尼尔·斯特罗洛
1 安德烈·塔莱基
1 彼得·蒂曼。
1 伯纳多·托尼霍
1 詹卢卡·特伦塔尼
1 瓦伦蒂安·瓦莱罗
1 瓦斯科塞洛斯
1 罗伯托·维戈
1 米尔科·维罗利
1 王,季
1 马丁·威尔辛
1 Peter Y.H.Wong。
1 朱慧彪

按年份列出的引文