Model Driven Engineering Of Adaptation Engines For Self Adaptive Software
DOWNLOAD eBooks
Download Model Driven Engineering Of Adaptation Engines For Self Adaptive Software PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Model Driven Engineering Of Adaptation Engines For Self Adaptive Software book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Model Driven Engineering Of Adaptation Engines For Self Adaptive Software
DOWNLOAD eBooks
Author : Thomas Vogel
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2013
Model Driven Engineering Of Adaptation Engines For Self Adaptive Software written by Thomas Vogel and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013 with Computers categories.
The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a megamodel captures the interplay between multiple models and between models and activities as well as the activation of the activities. In this article, we go one step further and present a modeling language for ExecUtable RuntimE MegAmodels (EUREMA) that considerably eases the development of adaptation engines by following a model-driven engineering approach. We provide a domain-specific modeling language and a runtime interpreter for adaptation engines, in particular for feedback loops. Megamodels are kept explicit and alive at runtime and by interpreting them, they are directly executed to run feedback loops. Additionally, they can be dynamically adjusted to adapt feedback loops. Thus, EUREMA supports development by making feedback loops, their runtime models, and adaptation activities explicit at a higher level of abstraction. Moreover, it enables complex solutions where multiple feedback loops interact or even operate on top of each other. Finally, it leverages the co-existence of self-adaptation and off-line adaptation for evolution.
Model Driven Engineering Of Self Adaptive Software
DOWNLOAD eBooks
Author : Thomas Vogel
language : en
Publisher:
Release Date : 2018
Model Driven Engineering Of Self Adaptive Software written by Thomas Vogel and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018 with categories.
The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by a feedback loop. State-of-the-art approaches prescribe the feedback loop in terms of numbers, how the activities (e.g., monitor, analyze, plan, and execute (MAPE)) and the knowledge are structured to a feedback loop, and the type of knowledge. Moreover, the feedback loop is usually hidden in the implementation or framework and therefore not visible in the architectural design. Additionally, an adaptation engine often employs runtime models that either represent the adaptable software or capture strategic knowledge such as reconfiguration strategies. State-of-the-art approaches do not systematically address the interplay of such runtime models, which would otherwise allow developers to freely design the entire feedback loop. This thesis presents ExecUtable RuntimE MegAmodels (EUREMA), an integrated model-driven engineering (MDE) solution that rigorously uses models for engineering feedback ...
Software Engineering For Self Adaptive Systems
DOWNLOAD eBooks
Author : Betty H. C. Cheng
language : en
Publisher: Springer Science & Business Media
Release Date : 2009-06-19
Software Engineering For Self Adaptive Systems written by Betty H. C. Cheng and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-06-19 with Computers categories.
The carefully reviewed papers in this state-of-the-art survey describe a wide range of approaches coming from different strands of software engineering, and look forward to future challenges facing this ever-resurgent and exacting field of research.
Software Engineering For Self Adaptive Systems
DOWNLOAD eBooks
Author :
language : en
Publisher:
Release Date : 2009
Software Engineering For Self Adaptive Systems written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009 with Self-adaptive software categories.
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognised its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. The 12 carefully reviewed papers included in thisstate-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming from different strands of software engineering, and present future challenges facing this ever-resurgent and challenging field of research. Also included in this book is an invited roadmap paper on theresearch challenges facing self-adaptive systems withinthe area of software engineering, based on discussionsat the Dagstuhl Seminar and put together by several of its participants. The papers have been divided into topical sections onarchitecture-based self-adaptation, context-aware and model-driven self-adaptation, and self-healing. These are preceded by three research roadmap papers.
Models Run Time
DOWNLOAD eBooks
Author : Nelly Bencomo
language : en
Publisher: Springer
Release Date : 2014-07-05
Models Run Time written by Nelly Bencomo and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-07-05 with Computers categories.
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.
Formal Methods For Model Driven Engineering
DOWNLOAD eBooks
Author : Marco Bernardo
language : en
Publisher: Springer
Release Date : 2012-06-26
Formal Methods For Model Driven Engineering written by Marco Bernardo and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-06-26 with Computers categories.
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
Software Engineering Research Management And Applications
DOWNLOAD eBooks
Author : Roger Lee
language : en
Publisher: Springer
Release Date : 2014-11-01
Software Engineering Research Management And Applications written by Roger Lee and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-11-01 with Technology & Engineering categories.
This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 – September 4, 2014 in Kitakyushu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. This publication captures 17 of the conference’s most promising papers.
Engineering Adaptive Software Systems
DOWNLOAD eBooks
Author : Yijun Yu
language : en
Publisher: Springer
Release Date : 2019-01-14
Engineering Adaptive Software Systems written by Yijun Yu and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-01-14 with Computers categories.
This book discusses the problems and challenges in the interdisciplinary research field of self-adaptive software systems. Modern society is increasingly filled with software-intensive systems, which are required to operate in more and more dynamic and uncertain environments. These systems must monitor and control their environment while adapting to meet the requirements at runtime. This book provides promising approaches and research methods in software engineering, system engineering, and related fields to address the challenges in engineering the next-generation adaptive software systems. The contents of the book range from design and engineering principles (Chap. 1) to control–theoretic solutions (Chap. 2) and bidirectional transformations (Chap. 3), which can be seen as promising ways to implement the functional requirements of self-adaptive systems. Important quality requirements are also dealt with by these approaches: parallel adaptation for performance (Chap. 4), self-adaptive authorization infrastructure for security (Chap. 5), and self-adaptive risk assessment for self-protection (Chap. 6). Finally, Chap. 7 provides a concrete self-adaptive robotics operating system as a testbed for self-adaptive systems. The book grew out of a series of the Shonan Meetings on this ambitious topic held in 2012, 2013, and 2015. The authors were active participants in the meetings and have brought in interesting points of view. After several years of reflection, they now have been able to crystalize the ideas contained herein and collaboratively pave the way for solving some aspects of the research problems. As a result, the book stands as a milestone to initiate further progress in this promising interdisciplinary research field.
Assurances For Self Adaptive Systems
DOWNLOAD eBooks
Author : Javier Cámara
language : en
Publisher: Springer
Release Date : 2013-01-16
Assurances For Self Adaptive Systems written by Javier Cámara and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-01-16 with Computers categories.
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.
Software Engineering For Self Adaptive Systems Iii Assurances
DOWNLOAD eBooks
Author : Rogério de Lemos
language : en
Publisher: Springer
Release Date : 2018-01-16
Software Engineering For Self Adaptive Systems Iii Assurances written by Rogério de Lemos and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-01-16 with Computers categories.
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances. Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.