For the automated deployment of applications, technologies exist which can process topology-based deployment models that describes the application’s structure with its components and their relations. The topology-based deployment model of an application can be adapted for the deployment in different environments. However, the structural changes can lead to problems, which had not existed before and prevent a functional deployment. This includes security issues, communication restrictions, or incompatibilities. For example, a formerly over the internal network established insecure connection leads to security problems when using the public network after the adaptation. In order to solve problems in adapted deployment models, first the problems have to be detected. Unfortunately, detecting such problems is a highly non-trivial challenge that requires deep expertise about the involved technologies and the environment. In this paper, we present (1) an approach for detecting problems in deployment models using architecture and design patterns and (2) the automation of the detection process by formalizing the problem a pattern solves in a certain context. We validate the practical feasibility of our approach by a prototypical implementation for the automated problem detection in TOSCA topologies.

中文翻译：

---

一种基于形式化体系结构和设计模式自动检测重构的部署模型中的问题的方法

对于应用程序的自动部署，存在可以处理基于拓扑的部署模型的技术，这些模型描述应用程序的结构及其组件及其关系。应用程序的基于拓扑的部署模型可以适合于不同环境中的部署。但是，结构上的更改可能会导致以前没有的问题，并妨碍功能部署。这包括安全问题，通信限制或不兼容。例如，以前在内部网络上建立的不安全连接会在改编后使用公共网络时导致安全问题。为了解决改编的部署模型中的问题，首先必须检测到问题。不幸，检测此类问题是一项非常重要的挑战，需要对所涉及的技术和环境有深入的专业知识。在本文中，我们提出（1）使用体系结构和设计模式来检测部署模型中的问题的方法，以及（2）通过形式化模式在特定上下文中解决的问题来自动进行检测过程。我们通过在TOSCA拓扑中自动检测问题的原型实现，验证了我们方法的实际可行性。