奶牛 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文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 web服务编排的演算。 Zbl 1187.68070号亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 2007 COWS:一种面向服务的计时演算。 Zbl 1147.68846号亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 2007 全部的 前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 朱慧彪 全部的 前5名9篇连载文章中引用 6 计算的形式方面 5 逻辑与代数程序设计杂志 5 程序设计中的逻辑和代数方法杂志 4 计算机程序设计科学 2 理论计算机科学 2 系统设计中的形式化方法 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 在3个字段中引用 46 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文