An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models using First-order Logic

Karoline Saatkamp, Uwe Breitenbücher, Michael Falkenthal, Lukas Harzenetter, Frank Leymann

Abstract

New paradigms such as edge computing opened up new opportunities for distributing applications to meet use-case-specific requirements. For automating the deployment of applications, deployment models can be created that describe the application structure with its components and their relations. However, the distribution is often not known in advance and, thus, deployment models have to be restructured. This can result in problems that have not existed before, e.g., components previously deployed in the same network were distributed, but security mechanisms are missing. Architecture patterns can be used to detect such problems, however, patterns describe only generic technology-independent solutions, which cannot automatically be applied to applications. Several concrete technologies exist that implements the pattern. Which solutions are applicable to a particular application is determined by, e.g., its hosting environment or used communication protocol. However, the manual effort to determine and implement appropriate solutions is immense. In this work, we present an approach to automate (i) the determination of solutions for an application using first-order logic and (ii) the adaptation of its deployment model accordingly. To validate the practical feasibility, we present a prototype using the cloud standard TOSCA and the logic programming language PROLOG.

Download


Paper Citation


in Harvard Style

Saatkamp K., Breitenbücher U., Falkenthal M., Harzenetter L. and Leymann F. (2019). An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models using First-order Logic.In Proceedings of the 9th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-365-0, pages 495-506. DOI: 10.5220/0007763204950506


in Bibtex Style

@conference{closer19,
author={Karoline Saatkamp and Uwe Breitenbücher and Michael Falkenthal and Lukas Harzenetter and Frank Leymann},
title={An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models using First-order Logic},
booktitle={Proceedings of the 9th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2019},
pages={495-506},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007763204950506},
isbn={978-989-758-365-0},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 9th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models using First-order Logic
SN - 978-989-758-365-0
AU - Saatkamp K.
AU - Breitenbücher U.
AU - Falkenthal M.
AU - Harzenetter L.
AU - Leymann F.
PY - 2019
SP - 495
EP - 506
DO - 10.5220/0007763204950506