当前位置: X-MOL 学术J. Log. Algebr. Methods Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the modeling of optimal and automatized cloud application deployment
Journal of Logical and Algebraic Methods in Programming ( IF 0.9 ) Pub Date : 2019-06-14 , DOI: 10.1016/j.jlamp.2019.06.001
Stijn de Gouw , Jacopo Mauro , Gianluigi Zavattaro

We investigate the problem of modeling the optimal and automatic deployment of cloud applications. We follow an approach based on three main pillars: (i) the specification of the computing resources needed by software components and those provided by the executing environment (e.g. virtual machines or containers), (ii) the declarative description of deployment rules, (iii) and the computation of an optimal deployment that minimizes the total cost by using constraint solving techniques. We experiment with such an approach by applying it to the Abstract Behavioural Specification language ABS, and we validate it by modeling and simulating with ABS (and its tool-suite) the Fredhopper Cloud Services, a worldwide system offering e-Commerce services, currently deployed on Amazon EC2.



中文翻译:

关于优化和自动化的云应用程序部署的建模

我们研究对云应用程序的最佳和自动部署进行建模的问题。我们采用基于三个主要支柱的方法:(i)软件组件所需的计算资源规范以及执行环境(例如虚拟机或容器)提供的计算资源规范;(ii)部署规则的声明性描述;(iii) ),以及通过使用约束求解技术将总成本降至最低的最佳部署的计算。我们通过将这种方法应用于抽象行为规范语言ABS进行试验,并通过使用ABS(及其工具套件)建模和仿真Fredhopper Cloud Services进行了验证,该系统是目前已部署的全球电子商务服务系统在Amazon EC2上。

更新日期:2019-06-14
down
wechat
bug