奶牛

用于Web服务编排的微积分。我们介绍了一种用于SOC的新的基础语言——牛群(微积分用于Web服务编排),其设计受到WS- BPEL的影响,WS- BPEL是Web服务编排的事实上的标准语言。奶牛以一种新颖的方式结合了从众所周知的过程计算器借用的许多成分,例如异步通信、多进制同步、模式匹配、保护、分隔的接收和杀戮活动,而与它们中的任何一个不同。几个例子说明了牛的特点,并显示其表达既为建模命令和编排结构,例如Web服务,流程图,故障和补偿处理程序,并编码其他进程和编排语言。


ZBMaX中的参考文献(51篇)2篇标准文章

显示结果1至20的51。
按年份排序(引文
  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. Bhattacharyya,Anirban;Mokhov,安德烈;Pierce,肯:形式化的经验比较:可靠系统动态重构的建模与分析(2017)
  3. Nasonov,D;Visheratin,A.;Butakov,Shindyapina;N;Melnik,M.;Boukhanovsky,A:动态异构分布式计算环境的混合进化工作流调度算法(2017)
  4. Neykova,Rumyana;Bocchi,劳拉;吉田,Nobko:多方会话的定时运行监控(2017)
  5. Cinzia,P.Rez,Jorge A.:以通信为中心的系统中基于事件的运行时自适应(2016)
  6. Al Humaimeedy,AbE.S.FrnaNDEZ,Malbel:在CSP中实现同步和异步通信的SOC(2015)
  7. AlTurki,Musab A.;MeeGuer-Joe: ORC的可执行重写逻辑语义及ORC程序的形式化分析(2015)
  8. 巴尔托莱蒂,马西莫;卡斯泰拉尼,Ilaria;丹尼娄,Pierre Malo;Dezani Ciancaglini,Mariangiola;GielZaN,西尔维亚;Jovanka,P.Rez,Y.;Y.;Tynno,Y.;^,S:结合行为类型和安全分析(2015)
  9. Dimangeon,Romain;本田,Kohei;胡,雷蒙德;Neykova,Rumyana;吉田,Nobko:实用可中断对话:多方会话类型和Python的分布式动态验证(2015)
  10. 兰尼斯,伊凡;蒙太西,法布里齐奥;扎瓦塔罗,詹鲁吉:Jolie的演变。从编排到适应性编舞(2015)
  11. Nielson,Hanne Riis;Nielson,弗来明;Vigo,罗伯托:对不可靠通信鲁棒性的质量演算(2015)
  12. TeBeek,Maurice H.;GNESI,斯特凡尼亚;马赞蒂,Franco:从欧盟项目到模型检查员家族。从康定斯基到坎迪斯(2015)
  13. Cruz Filipe,卢,LANES,伊凡;马丁斯,弗朗西斯科;Ravara,Ant Nio;瓦斯孔塞卢斯,Vaso Tujimu:基于流的服务中心微积分:面向服务编程的基础(2014)
  14. Riccobene,Elvinia;Stururra,PravZia:服务建模和原型化的正式框架(2014)伊波尔特
  15. Michaux,乔纳森;Najm,Elie;FANTECH,Alessandro:安全Web服务编排的会话类型(2013)
  16. BAE,Kyungmin;MeeGuer-Joe:基于重写的线性时序逻辑重写模型检查器(2012)
  17. 陈,甄邦;刘,智明;王,冀:长距离事务的失效发散语义和精化(2012)
  18. Fiadeiro,Joes;Lopes,At.NiNa;阿夫雷乌,Joango:面向服务交互的正式模型(2012)
  19. 拉帕杜拉,Alessandro;PuGeles,Rosario;TayZi,弗朗西斯科:用形式化方法开发WS- BPEL应用(2012)伊波尔特
  20. 普格利泽,Rosario;TIEZI,弗朗西斯科:Web服务编排的微积分(2012)伊波尔特