Automatic deployment of component-based applications

Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi

doi:10.1016/j.scico.2015.07.006

Cited by 10 publications

(7 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Automatic synthesis of deployment plans are the done in a step before the actual deployment. A deployment plan synthesis process was proposed, for example, in [14]. Multi-objective optimization, as proposed in [13], are used often to establish a deployment plan.…”

Section: Solutions For Application Deployments In Clouds and Their Limitationsmentioning

confidence: 99%

Service Deployment Challenges in Cloud-to-Edge Continuum

Petcu

2021

SCPE

View full text Add to dashboard Cite

This position paper aims to identify the current and future challenges in application, workload or service deployment mechanisms in Cloud-to-Edge environments. We argue that the adoption of the microservices and unikernels on large scale is adding new entries on the list of requirements of a deployment mechanism, but offers an opportunity to decentralize the associated processes and improve the scalability of the applications. Moreover, the deployment in Cloud-to-Edge environment needs the support of federated machine learning.

show abstract

Section: Solutions For Application Deployments In Clouds and Their Limitationsmentioning

confidence: 99%

Service Deployment Challenges in Cloud-to-Edge Continuum

Petcu

2021

SCPE

View full text Add to dashboard Cite

show abstract

“…As far as the configuration steps are concerned, these technologies rely on the aforementioned configuration management tools (e.g., Puppet or Chef). [35] presents a formal model of components and a sound and complete algorithm for computing the sequence of actions that permits the deployment of a desired configuration even in the presence of circular dependencies among components. In [36], the authors present an extension of the TOSCA standard in order to specify the behaviour of a cloud application's management operations.…”

Section: Composition (Techniques)mentioning

confidence: 99%

Rigorous Design and Deployment of IoT Applications

Krishna

Pallec²,

Mateescu³

et al. 2019

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)

View full text Add to dashboard Cite

Internet connected devices are becoming increasingly common in consumer homes. These devices combined with software entities are used to build Internet of Things (IoT) applications. As democratization of IoT takes shape, developing reliable IoT applications remains a challenge for consumers because these applications exhibit characteristics such as distribution, dynamicity, and heterogeneity, which make their design, development and maintenance difficult. In this paper, we use formal methods to ensure correct composition of objects and propose a reliable deployment mechanism in the context of an IoT application. Objects are modelled using an interface description model integrating a behavioural specification of the object functionality. We provide formal validation techniques for verifying that the composition is correct. A deployment plan is generated for automating the instantiation of all objects involved in a valid composition. All the proposals have been implemented as a prototype tool and experiments were carried out for evaluating the tool performance and usability.

show abstract

“…As a result, declarative workflows can only model dependencies which are explicitly defined by the orchestrator. The current TOSCA specification, for example, does not support circular dependencies [11], i.e. dependencies where the control flow jumps back and forth between two nodes multiple times.…”

Section: Declarative Workflowsmentioning

confidence: 99%

Beyond Generic Lifecycles: Reusable Modeling of Custom-Fit Management Workflows for Cloud Applications

Sebrechts¹,

Cory

Seghbroeck³

et al. 2018

2018 IEEE 11th International Conference on Cloud Computing (CLOUD)

View full text Add to dashboard Cite

Automated management and orchestration of cloud applications have become increasingly important, partly due to the large skills shortage in IT operations and the increasing complexity of cloud applications. Cloud modeling languages play an important role in this, both for describing the structure of a cloud application and specifying the management actions around it. The TOSCA cloud model standard recently defined declarative workflows as the preferred way to specify these management actions but, as noted in the standard itself, this is far from ideal. This paper draws lessons from six years of using declarative workflows in Juju for deploying and managing complex platforms such as OpenStack and Kubernetes in production. This confirms the limitations: declarative workflows are inflexible, hard to reuse, and allow for related components to become silently incompatible. This paper proposes the reactive pattern to solve these issues by enabling the creation of emergent workflows using declarative flags and handlers, which can be easily grouped into reusable layers. After more than two years of using this pattern in production as part of our charms.reactive framework, it is clear that it enables reusability and ensures compatibility: 67% of reactive charms share parts of the management workflow and 73% of reactive charms share a relationship workflow.

show abstract

Automatic deployment of component-based applications

Cited by 10 publications

References 17 publications

Service Deployment Challenges in Cloud-to-Edge Continuum

Service Deployment Challenges in Cloud-to-Edge Continuum

Rigorous Design and Deployment of IoT Applications

Beyond Generic Lifecycles: Reusable Modeling of Custom-Fit Management Workflows for Cloud Applications

Contact Info

Product

Resources

About