English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

New paradigms such as edge computing opened up new opportunities for distributing applications to meet usecase-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.

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