Article in Proceedings INPROC-2019-11

BibliographySaatkamp, Karoline; Breitenbücher, Uwe; Falkenthal, Michael; Harzenetter, Lukas; Leymann, Frank: 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 (CLOSER 2019).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 495-506, english.
SciTePress, May 2019.
ISBN: 978-989-758-365-0; DOI: 10.5220/0007763204950506.
Article in Proceedings (Conference Paper).
CR-SchemaC.2.4 (Distributed Systems)
D.2.2 (Software Engineering Design Tools and Techniques)
D.2.12 (Software Engineering Interoperability)
K.6 (Management of Computing and Information Systems)
Keywordsdeployment model; pattern; logic programming; pattern-based solution; model adaptation; TOSCA

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.

Full text and
other links
conference website
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Entry dateJune 3, 2019
   Publ. Institute   Publ. Computer Science