摘要
摘要
[ABH+10] Rodin:事件b中建模和推理的开放工具集 国际J Softw Tools Technol Transf 2010 12 6 447 466 10.1007/s10009-010-0145年 谷歌学者 交叉引用 [Abr88] B工具(摘要) 1988 柏林 施普林格 86 87 谷歌学者 【Abr05】 B书——为程序赋予意义 2005 剑桥 剑桥大学出版社 915.68015 谷歌学者 [AGGH15] Abbassi I、Graiet M、Gaaloul W、Hadj-Alouane NB(2015)ATS和sla-ware web服务组合的基于遗传的方法。 收录于:Web信息系统工程-WISE 2015-16国际会议,2015年11月1日至3日,美国佛罗里达州迈阿密,会议记录,第一部分,第369-383页 谷歌学者 【AM98】 Abrial J-R,Mussat L(1998)《在B中引入动态约束》。in:B'98:B方法开发和使用的最新进展,第二届国际B会议,法国蒙彼利埃,1998年4月22日至24日,会议记录,第83-128页 谷歌学者 [AM16] 基于模式的组合云服务编排和自动验证 计算与电子工程 2016 56 842 853 2016年10月10日/j.compleceng.2016.08.06 谷歌学者 数字图书馆 【AMJS11】 Abdelsadiq A、Molina-Jimenez C、Shrivastava S(2011)《验证服务协议的高级模型检查工具》。 摘自:2011年IEEE第六届面向服务系统(SOSE)国际研讨会论文集,第297-304页 谷歌学者 [BKKM11] 为应用程序工作流提供成本优化的弹性资源 未来通用计算系统 2011 27 8 1011 1026 10.1016/j.未来2011.05.001 谷歌学者 数字图书馆 [黑色+17] 使用SOG对业务流程配置进行无死锁验证 面向服务的计算 2017 查姆 施普林格 96 112 10.1007/978-3-319-69035-3_7 谷歌学者 数字图书馆 [英国标准19] 业务流程即服务配置中的事务行为验证 IEEE Trans-Serv计算 2019 12 2 290 303 10.1109/TSC.2017.2667662 谷歌学者 交叉引用 【BYO+14】 云环境中业务流程应用程序的调度策略 国际J网格高性能计算 2014 5 65–78 01 谷歌学者 【CHH+12】 Chen J,Huang L,Huangh H,Yu C,Li C(2012)web service应用程序中资源保护的正式模型。 参加:2012年云和服务计算国际会议,第111–118页 谷歌学者 【CM08】 Cansell D,Méry D(2008)事件b建模方法:概念和案例研究。 第47–152页 谷歌学者 【CWG09】 Cao Q,Wei Z,Gong W(2009)云计算中基于作业成本的任务调度优化算法。 2009年第三届生物信息学和生物医学工程国际会议,第1-3页 谷歌学者 【DOS12】 Durán F,Ouederni M,Salaün Gwen(2012年7月)n协议兼容性检查的通用框架。 科学计算程序77(7-8):870–886 谷歌学者 [EMAZ15] Elhag AAM,Mohamad R,Aziz MW,Zeshan F(2015)使用基于图的理论的系统复合服务设计建模方法。 公共科学图书馆·综合10(4):1–26,04 谷歌学者 【FE10】 云计算手册 2010 1 柏林 施普林格 1214.68034 谷歌学者 [FW12] Freitas L,Watson P(2012)《联合云上的工作流划分形式化:多级安全和成本》。 2012年IEEE第八届世界服务大会,第219-226页 谷歌学者 【GHMT17】 基于弹性组件的应用程序的验证和部署方法 正式Asp计算 2017 29 6 987 1011 3723357 2007年10月10日/00165-017-0425-3 谷歌学者 数字图书馆 [玻璃+15] Graiet M、Lahouij A、Abbassi I、Hamel L、Kmimech M(2015)《用事件b验证SCA组成的正式行为建模》。摘自:2015年IEEE网络服务国际会议,ICWS 2015,美国纽约州纽约市,2015年6月27日至7月2日,第17-24页 谷歌学者 [GMBG17] 在业务流程中实现正确的云资源分配 IEEE Trans-Serv计算 2017 10 1 23 36 10.1109/TSC.2016.2594062 谷歌学者 交叉引用 [囤积13] Hoang TS(2013)事件B建模方法简介,第211–236页。 07 谷歌学者 【Hol97】 模型检查器旋转 IEEE Trans软件工程 1997 23 5 279 295 10.1109/32.588521 谷歌学者 数字图书馆 [HSD13] Hoenisch P、Schulte S、Dustdar S(2013)基于云的弹性流程执行的工作流调度和资源分配。 2013年IEEE第六届面向服务计算和应用国际会议,第1-8页 谷歌学者 [HSDV13] Hoenisch P、Schulte S、Dustdar S、Venugopal S(2013)弹性流程执行的自适应资源分配。 2013年IEEE第六届云计算国际会议,第220–227页 谷歌学者 【JCM19】 Jana B,Chakraborty M,Mandal T(2019)云环境下基于粒子群优化算法的任务调度技术。 摘自:2017年SoCTA会议记录,第525-536页。 01 谷歌学者 [KMCB17] Kallab L,Mrissa M,Chbeir R(2017)Borreau Pierre使用有色petri网验证restful服务组合。 收录人:Panetto H、Debruyne C、Gaaloul W、Papazoglou M、Paschke A、Ardagna CA、Meersman R(编辑)《向有意义的互联网系统迈进》。 OTM 2017会议。 Springer International Publishing,Cham,第505–523页 谷歌学者 【KTD11】 Klai K、Tata S、Desel J(2009)企业间流程的符号抽象和无死锁验证。 数据知识工程70(5):467–482。 In:Business Process Management,2011年 谷歌学者 【LB03】 Prob:b的模型检查器 FME 2003:正式方法 2003 柏林 施普林格 855 874 10.1007/978-3-540-45236-2_46 谷歌学者 【LHG15】 Lahouij A、Hamel L、Graiet M(2015)《利用事件b验证SCA动态组合的形式化建模》。摘自:第24届IEEE赋能技术国际会议:协作企业基础设施,WETICE 2015,塞浦路斯拉纳卡,2015年6月15日至17日,第29–34页 谷歌学者 [左侧+16] Lahouij A、Hamel L、Graiet M、Elkhalfa A、Gaaloul W(2016)云中聚合服务的全球sla-ware方法。 In:走向有意义的互联网系统:2016年OTM会议-国际会议:CoopIS、C&TC和ODBASE 2016,2016年10月24日至28日,希腊罗德斯,会议记录,第363–380页 谷歌学者 【LHG18】 Lahouij A,Hamel L,Graiet M(2018)使用event-b.In对云复合服务进行无死锁验证:迈向有意义的互联网系统。 2018年10月22日至26日,马耳他瓦莱塔,OTM 2018年会议-国际会议:CoopIS、C&TC和ODBASE 2018,会议记录,第一部分,第604-622页 谷歌学者 【LHGM18】 Lahouij A、Hamel L、Graiet M、Malki ME(2018)云复合服务验证的正式方法。 摘自:第11届IEEE面向服务计算和应用会议,2018年11月20日至22日,法国巴黎,SOCA 2018,第161–168页 谷歌学者 [左焦+14] Leesatapornwongsa T,Hao M,Joshi P,Lukman JF,Gunawi HS(2014)Samc:语义感知模型检查,用于快速发现云系统中的深层错误。 收录:第11届USENIX操作系统设计与实现会议记录,OSDI’14,第399–414页,美国加州伯克利 谷歌学者 [LTZ+13] 私有云中云服务和计算资源双重调度的排序混沌算法 计算Ind 2013 64 4 448 463 10.1016/j.compind.2013.02.008 谷歌学者 数字图书馆 [MFBR15] Mastelic T、Fdhila W、Brandic I、Rinderle-Ma S(2015)《预测云中业务流程的资源分配和成本》。 摘自:2015年IEEE世界服务大会,第47–54页 谷歌学者 【MKS13】 先进的基于虚拟机的云管理平台的建模和分析 IEEE跨云计算 2013 1 1 1 1 10.1109/TC.2013.3号合同 谷歌学者 交叉引用 [NSG+14] Naskos A、Stachtiari E、Gounaris A、Katsaros P、Tsoumakos D、Konstantinou I、Sioutas S(2014)《使用概率模型检查的云弹性》。 05 谷歌学者 [第11页] Padidar S(2011)从软件工程的角度研究事件b在系统开发中的应用 谷歌学者 【PF11】 Papapanagiotou P,Fleuriot J(2011)使用线性逻辑和pi-calculus对web服务组合进行形式验证。 2011年IEEE第九届欧洲网络服务会议,第31–38页 谷歌学者 [SMWZ15] 云服务描述模型:云服务usdl的扩展 IEEE Trans-Serv计算 2015 99 1 1 谷歌学者 【子04】 W3C成员提交(2004)Owl-s:web服务的语义标记。 https://www.w3.org/提交/OWL-S/ 谷歌学者 [WD96] 使用Z:规范、细化和证明 1996 美国新泽西州上鞍河 Prentice-Hall公司 855.68060 谷歌学者 数字图书馆 [WDJ+16] 基于不确定性执行效果的web服务自动组合 IEEE Trans-Serv计算 2016 9 4 551 565 10.1109/TSC.2015.2412943 谷歌学者 交叉引用 【WDJZ14】 web服务组合的约束感知方法 IEEE Trans-Syst Man-Cybern系统 2014 44 6 770 784 10.1109/TSMC.2013.2280559 谷歌学者 交叉引用 【ZGOH09】 曾C,郭X,欧W,韩D(2009)基于语义的云计算服务组合与搜索。 在:第一届云计算国际会议论文集,CloudCom'09,柏林施普林格,第290–300页 谷歌学者
建议
使用Event-B对云复合服务进行无死锁验证 走向有意义的互联网系统。 OTM 2018年会议 摘要 随着云计算范式的出现,人们的兴趣集中在以正式的方式表示和验证云架构,以防止最终的故障和死锁。 服务组合促进了重用。。。 基于事件B的动态复合服务事务行为验证方法 ICWS’13:2013 IEEE第20届网络服务国际会议论文集 尽管付出了努力,而且之前提出的研究也在进行,但在动态环境中验证Web服务组合仍然是最困难的任务之一,因为新服务可以在执行步骤中组合,而其他服务可以自动。。。