奶牛

web服务编排的微积分。我们介绍了COWS(用于Web服务编排的演算),这是一种新的SOC基础语言,其设计受到Web服务编排事实上的标准语言WS-BPEL的影响。COWS以一种独创的方式结合了许多从著名的过程计算中借用的成分,例如异步通信、多元子同步、模式匹配、保护、限定的接收和杀死活动,而结果与任何一种都不同。几个例子说明了COWS的特性,并展示了它在建模命令和编排结构(例如web服务、流图、错误和补偿处理程序)以及编码其他流程和编排语言方面的表现力。


zbMATH中的参考文献(参考文献51条,2标准条款)

显示第1到第20个结果,共51个。
按年份排序(引用)
  1. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  2. 普利斯,罗萨里奥;Tiezzi,Francesco:置换自由度:分离过程结石的标准(2020)
  3. 巴塔查里亚,阿尼尔班;莫霍夫,安德烈;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  4. 尼科娃,鲁米亚娜;波奇,劳拉;Yoshida,Nobuko:多方对话的定时运行时监控(2017)
  5. 迪吉斯托,辛齐亚;Pérez,Jorge A.:以通信为中心的系统中基于事件的运行时适应(2016)
  6. Al Humaimeedy,阿贝尔S。;Fernández,Maribel:在CSP中实现SOC的同步和异步通信(2015)
  7. 阿尔图尔基,穆萨布A。;Meseguer,José:Orc的可执行重写逻辑语义和Orc程序的形式化分析(2015)
  8. 巴托莱蒂,马西莫;卡斯特拉尼,伊利亚;丹尼·卢,皮埃尔·马洛;迪扎尼-西亚卡格里尼,马里安戈拉;吉莱赞,西尔维亚;潘托维奇,约万卡;约热雷泽。;蒂曼,彼得;托尼尼奥,贝尔纳多;维埃拉,雨果·托雷斯:将行为类型与安全分析相结合(2015)
  9. 德曼金,罗曼;本田、科海;胡,雷蒙德;尼科娃,鲁米亚娜;Yoshida,Nobuko:实用可中断对话:使用多方会话类型和Python的分布式动态验证(2015)
  10. 伊万·兰内斯;蒙特西,法布里齐奥;扎瓦塔罗,詹路易吉:朱莉的进化。从编曲到适应性编排(2015)
  11. 尼尔森,汉娜·里斯;尼尔森,弗莱明;Vigo,Roberto:针对不可靠通信的健壮性的质量微积分(2015)
  12. 特比克,莫里斯H。;涅西,斯特凡尼亚;马赞提,弗朗哥:从欧盟的项目到一个模型检查家。从Kandinsky到KandISTI(2015年)
  13. 克鲁兹·菲利佩,鲁伊斯;伊万·兰内斯;马丁斯,旧金山;安托尼奥拉瓦拉;Vasco Thudichum:基于流的以服务为中心的演算:面向服务编程的基础(2014)
  14. 米芯,猫王属;Scandurra,Patrizia:服务建模和原型设计的正式框架(2014)ioport公司
  15. 约拿单,米绍;乃吉母耳,以利;Fantechi,Alessandro:安全web服务编排的会话类型(2013)
  16. 裴京民;Meseguer,José:基于重写的线性时序重写逻辑模型检验器(2012)
  17. 陈振邦;刘志明;Wang,Ji:失败分歧语义和长时间运行事务的细化(2012)
  18. 菲亚迪罗,何塞;洛佩斯,安托尼亚;Abreu,João:面向服务交互的正式模型(2012)
  19. 拉帕杜拉,亚历山德罗;普利斯,罗萨里奥;Tiezzi,Francesco:《使用形式化方法开发WS-BPEL应用程序》(2012)ioport公司
  20. 普利斯,罗萨里奥;Tiezzi,Francesco:web服务编排的微积分(2012)ioport公司