×

基于弹性组件的应用程序的验证和部署方法。 (英语) Zbl 1377.68039号


MSC公司:

68米14 分布式系统
60年第68季度 规范和验证(程序逻辑、模型检查等)

软件:

ProB公司;罗丹
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abrial JR(2010)《Event-B中的建模:系统和软件工程》,剑桥大学出版社,剑桥·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881
[2] Albert E、de Boer F-S、Hähnle R、Johnsen E-B、Schlatte R、Tapia Tarifa S-L、Wong P(2014)《云架构资源管理的形式化建模与分析:使用实时ABS的工业案例研究》。面向服务的计算应用8(4):323-339·doi:10.1007/s11761-013-0148-0
[3] Bersani M-M、Bianculli D、Dustdar S、Gambi A、Ghezzi C、KrstićS(2014)《基于云的弹性系统特性的形式化》。参加:第六届工程服务和云系统原理国际研讨会。ACM公司
[4] Booch G、Rumbaugh J、Jacobson I(2005)《统一建模语言用户指南》,第2版。Addison-Wesley专业阅读
[5] Chieu T-C、Mohindra A、Karve A-A、Segal A(2009)虚拟云计算环境中web应用程序的动态扩展。参加:IEEE电子商务工程国际会议。IEEE计算机学会
[6] Cok D-R(2011)通过扩展OpenJDK为Java 7提供的JML。第三届美国国家航空航天局正式方法国际会议。施普林格
[7] Calheros R-N、Vecchiola C、Karunamoorthy D、Buyya R(2012)混合云上弹性应用程序的Aneka平台和QoS驱动资源供应。未来通用计算系统28(6):861-870·doi:10.1016/j.future.2011.07.005
[8] Dutta S,Gera S,Akshat V,Viswanathan B(2012)SmartScale:企业云中的自动应用程序扩展。参加:第五届云计算国际会议。IEEE计算机协会
[9] Dustdar S,Guo Y,Satzger B,Truong H-L(2011)弹性过程原理。IEEE互联网计算15(2):66-71·doi:10.1109/MIC.2011.121
[10] Gaaloul G,Bhiri S,Rouached M(2010)复合服务事务行为的基于事件的设计和运行时验证。IEEE Trans-Serv计算3(1):32-45·doi:10.1109/TSC.2010.1
[11] Galante G,de Bona LCE(2012)《云计算弹性调查》。参加:第五届实用程序和云计算国际会议。IEEE计算机学会·Zbl 1331.68142号
[12] Geelan J、Klems M、Cohen R、Kaplan J、Gourlay D、Gaw P、Edwards D、De Haaff B、Kepes B、Sheynkman K、Sultan O、Hartig K、Pritzker J、Doerksen T、Von Eicken T、Wallis P、Sheehan M、Dodge D、Ricadela A、Martin B、Kepe B、Berger I-W(2009)二十位专家定义了云计算
[13] Hamadi R,Benatallah B(2003)基于Petri网的web服务组合模型。收录:第14届澳大利亚数据库会议。澳大利亚计算机学会
[14] He S,Guo L,Guo Y,Wu C,Ghanem M,Han R(2012)《弹性应用程序容器:云资源供应的轻量级方法》。In:美国国家航空航天局。IEEE计算机协会
[15] Hoenisch P、Schulte S、Dustdar S(2013)基于云的弹性流程执行的工作流调度和资源分配。参加:第六届面向服务的计算和应用国际会议。IEEE计算机协会
[16] Hoenisch P、Schulte S、Dustdar S、Venugopal S(2013)弹性流程执行的自适应资源分配。参加:第六届云计算国际会议。电气与电子工程师协会
[17] Kranas P、Anagostopoulos V、Menychtas A、Varvarigou T-A(2012)ElaaS:创新弹性作为跨云堆栈层动态管理的服务框架。参加:关于复杂、智能和软件密集型系统的第六届国际会议。IEEE计算机协会
[18] Klai K,Tata S(2013)基于服务的弹性业务流程的形式化建模。参加:服务计算国际会议。IEEE计算机协会
[19] Leuschel M,Butler M(2003)ProB:B.形式方法的模型检查器,LNCS 2805
[20] Lahouij A、Hamel L、Graiet M(2013)《使用Event-B对SCA组装模型进行形式验证》。In:第九届语义、知识和网格国际会议。IEEE计算机协会
[21] LéL-S、Linh Truong H、Ghose A、Dustdar S(2012)《商业服务供应的弹性和约束》。参加:第九届服务计算国际会议。IEEE计算机协会
[22] Mammar A,Frappier M(2015)《动态特性的基于验证的验证方法:信息系统领域的应用》。表Asp计算27(2):335-374·Zbl 1331.68142号 ·doi:10.1007/s00165-014-0323-x
[23] Mammar A、Graiet M、Hamel L、Tata S。网址:http://www-public.tem-tsp.eu/mammar_a/FAC弹性.html
[24] Mammar A、Graiet M、Hamel L、Tata S(2016)基于弹性组件应用的验证和部署方法。网址:http://www-public.tem-tsp.eu/mammar_a/FAC弹性.html·Zbl 1377.68039号
[25] Marino J、Rowley M(2009)《了解SCA(服务组件体系结构)》。Addison-Wesley Professional,波士顿
[26] OASIS(2011)OASIS。体系结构装配模型规范。1.2版。19http://docs.oasis-open.org/opencsa/sca-assembly/sca-asembly-spec/v1.2/csd01/sca-assembly-spec-v1.2-csd01.html
[27] Pokahr A、Braubach L(2016)《PaaS云中基于弹性组件的应用》。协和计算实践实验28(4):1368-1384·doi:10.1002/cpe.3641
[28] Rivera V,Cataño N(2014)将Event-B转换为JML指定的java程序。摘自:第29届ACM应用计算年会。ACM公司
[29] Roy N,Dubey A,Gokhale A(2011)使用预测模型进行工作量预测,在云中实现高效的自动缩放。参加:第四届云计算国际会议。IEEE计算机协会
[30] Sahli H、Belala F、Bouanaka C(2015)基于BRS的云系统弹性建模和验证方法。参加:第一届云向前国际会议:从分布式到完全计算
[31] Solanki M,Cau A,H Zedan H(2006)设计web服务的广谱语言。参加:第十五届国际万维网大会
[32] Schulte S、Hoenisch P、Venugopal S、Dustdar S(2013)《弹性过程维也纳平台介绍》。参加:面向服务计算国际会议研讨会。施普林格
[33] Tsai W-T,Sun X,Shao Q,Qi G(2010)《两层多租户扩展和负载平衡》。参加:第七届电子商务工程国际会议。IEEE计算机学会
[34] Vaquero L-M、Rodero-Merino L、Buyya R(2011)《云中动态缩放应用程序》。SIGCOMM计算通用版本41(1):45-52·doi:10.1145/1925861.1925869
[35] Yangui S、Ben Nasrallah M、Tata S(2013)为基于SCA的应用程序部署提供适当云资源的PaaS-independent方法。参加:第九届语义、知识和网格国际会议
[36] Zhang Q,Cheng L,Boutaba R(2010)《云计算:最新技术和研究挑战》。互联网服务应用杂志1(1):7-18·doi:10.1007/s13174-010-0007-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。