471 research outputs found
Improving security in cloud by formal modeling of IaaS resources
No full textNowadays, it is a matter of fact that Cloud is a "must" for all complex services requiring great amount of resources. Big-Data Services are a striking example: they actually perform many kind of analysis (like analytics) on very big repositories. Many File Systems and middleware exist for efficient distribution and management of data and they usually use Cloud Resources. Anyway Several problems arose about Security of data: Virtualization is the base of Cloud resources and, even if we consider data storage as virtually separated elements, security issues exist if privilege escalation allows for gaining control on any data on physical hosts. In this paper we show how it is possible to cope Model Driven Engineering techniques to security analysis and monitoring of Cloud infrastructures. For reducing overhead, we provide a formal profile of hosts thermal behaviors. Depending on services input workloads, we detect and forecast malicious actions by comparisons with real thermal data
Exploiting Model Profiles in Requirements Verification of Cloud Systems
No full textCloud systems arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to worldwide users. They provide means for realising and distributing everything-as-a-service, including infrastructures, hardware and software platforms and services. Even if now, service-centric models and technologies are mature in the IT scenario, the composition, analysis and validation of cloud services are open research challenges. In this work, we describe a modelling profile that enables model driven engineering (MDE) analysis of systems and requirements verification of cloud-based services. The verification process exploits formal methods during the whole life cycle of services. We show the application of the proposed methodology in a simple exampl
Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services
No full textSome time passed since the first definitions of Cloud architectures. During the years Cloud systems became more and more complex. The main idea is that all Cloud components offer their functions as a service. For this reason Cloud systems inherits many features from old Web Services and Service Oriented architectures. At the moment, the need for composition and automation of Cloud services is a hot research field. Orchestration is one of the topics that researchers are investigating. Unlike web services, it is not clear what orchestration means in Cloud Systems. It usually addresses automation, but no clear definitions and languages have been provided. Another hot topic regarding composition of cloud services is the definition of design, architectural and communication Patterns for solving well known and common problems. In this work we will show how Orchestration and some Patterns are tightly coupled. We will describe a methodology for definition of orchestrated workflows which exploits some common Cloud Design Patterns in order to verify composition soundness. In addition we will show how this methodology can be used to verify some requirements on the composed Cloud services. The whole methodology is based both on formal semantics definition of an Orchestration language, and on the use of Ontologies for the description of Cloud services interactions
Enforcing historical research and teaching with computational thinking and metaphoric abstraction
No full textComputational Thinking (CT) is a new trend for approaching complex problems in both teaching and research activities. It requires the application of computer-science techniques in solving problems that usually belong to other knowledge and scientific domains. In particular, researchers, teachers and students may use abstraction methodologies not only to reduce complexity of problems, but also to enable reasoning by metaphors. Integration of CT with computational semantic-based reasoning, may lead to significant research results in social science and it prepares students to a new methodology for the analysis of historical and social sources. In this work, we describe a novel CT methodology based on formal semantics, metaphors and automatic reasoning, we show how it applies to the study of some concepts of modern history, and we report some results obtained by following the steps of the proposed methodology
Model transformations of MapReduce Design Patterns for automatic development and verification
No full textMapping MapReduce frameworks to Cloud Architecture became a must in last years because of the need of managing large data sets and Big Data in fast, reliable (and as cheap as possible) way. Scientific Literature proposes many works about new architectures, frameworks and algorithms improving and optimizing performances while performing MapReduce operations. Anyway, MapReduce framework is only the starting point for building a plethora of services based on different analyses. This is the reason for recent application of Design Patterns methodologies to develop MapReduce applications. Here we propose a Model Driven Engineering methodology to design, verify and develop MapReduce applications on Cloud Systems. The methodology is driven by MapReduce Design Patterns and is used to analyse soundness and reliability of services based on MapReduce from early design stage to runtime. © 2016 Elsevier Inc
Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services
No full textThe rapid increase in heterogeneity, scale and diversity of cloud resources and services leads to a growing-up complexity in their management and control. The development of new mechanisms to select, deploy and manage resources to achieve required quality of services is nowadays a hot research field usually addressed as Resource Orchestration (RO). It mainly applies to IaaS layer while few studies report results at SaaS. Anyway the increasing complexity of Cloud Services caused the introduction of new programming and deployment paradigms. Big Vendors promote Pattern-Based development in order to build value added services. This development methodology has the goal of providing complex services and resources by interaction of simpler ones. In this work we show how Pattern-Based description of composite Cloud Services can be used to define proper Orchestrations action, along all the ”‘aaS”’ layers of Cloud Architecture. The methodology exploits Model Transformation techniques in order to build formal models for the analysis of properties of the whole orchestrated service. © 2016 Elsevier B.V
Enforcing historical research and teaching with computational thinking and metaphoric abstraction
No full textComputational Thinking (CT) is a new trend for approaching complex problems in both teaching and research activities. It requires the application of computer-science techniques in solving problems that usually belong to other knowledge and scientific domains. In particular, researchers, teachers and students may use abstraction methodologies not only to reduce complexity of problems, but also to enable reasoning by metaphors. Integration of CT with computational semantic-based reasoning, may lead to significant research results in social science and it prepares students to a new methodology for the analysis of historical and social sources. In this work, we describe a novel CT methodology based on formal semantics, metaphors and automatic reasoning, we show how it applies to the study of some concepts of modern history, and we report some results obtained by following the steps of the proposed methodology
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
- …
