首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)
  • 本地全文:下载
  • 作者:Roberto Di Cosmo ; Michael Lienhardt ; Jacopo Mauro
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:42
  • 页码:1-16
  • DOI:10.4230/LIPIcs.CONCUR.2015.1
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:The problem of deploying a complex software application has been formally investigated in previous work by means of the abstract component model named Aeolus. As the problem turned out to be undecidable, simplified versions of the model were investigated in which decidability was restored by introducing limitations on the ways components are described. In this paper, we take an opposite approach, and investigate the possibility to address a relaxed version of the deployment problem without limiting the expressiveness of the component model. We identify three problems to be solved in sequence: (i) the verification of the existence of a final configuration in which all the constraints imposed by the single components are satisfied, (ii) the generation of a concrete configuration satisfying such constraints, and (iii) the synthesis of a plan to reach such a configuration possibly going through intermediary configurations that violate the non-functional constraints.
  • 关键词:Automatic deployment; Planning; DevOps; Constraint Programming
国家哲学社会科学文献中心版权所有