1,721,172 research outputs found
Pattern-based orchestration and automatic verification of composite cloud services
No full textRecent years have seen an increase of complexity in paradigms and languages for development of Cloud Systems. The need to build value added services and resources promoted pattern-based composition and orchestration as new hot research topics. Anyway, unlike web services, it is unclear what orchestration means for Cloud Systems. In this scenario, a way to automatically build composite services from their pattern-based description is appealing. In this work we describe a methodology for automatic composition and verification of Cloud Services which is driven by formal orchestration language. © 201
Model driven design and evaluation of security level in orchestrated cloud services
No full textCloud-based architectures, services and resources are growing up in complexity day by day. Composition and Orchestration deal with the problem of creating complex services promoting reuse and optimal allocation of resources but many security issues arise complicating the work of designers. Even if any composing elements in a composition meets security requirements, the composite service may not. In order to reduce design and developing complexity, Big Vendors and scientific literature promote Composition by Patterns. In this work we present a Model Driven Engineering methodology that addresses validation and verification of security requirements by using formal methods and model transformation algorithms. We show how our model driven approach enables the specification of requirements at design phase and how it allows for verification of security requirements. © 2018 Elsevier Lt
A model driven approach to data privacy verification in e-health systems
Full text linkLast years experienced the growth of new technologies able to remotely monitor health state of persons. This includes both (even complex) Medical devices and all kind of wearable device. In addition, with the increasing use of Cloud technologies to manage and store sensitive data from patients, the problem of assuring data privacy is more and more important in E-Health systems. Privacy requirements in Medical domains are not only defined by service providers or users, but Legal rules regulate the whole management and storage processes of health records. The use of Model Driven techniques for E-Health systems is appealing especially if formal verification of privacy requirements is enacted. In this paper we extend the MetaMORP(h)OSY modelling profile in order to explicitly consider privacy requirements for data. A novel model transformation algorithm is described for the application of Model Checking techniques to privacy verification. © 2015, IIIA-CSIC. All rights reserved
- …
