Results 1 -
9 of
9
SOTA: Towards a General Model for Self-Adaptive Systems
- In Proc. of WETICE ’12
, 2012
"... Abstract—The increasing complexity and dynamics in which software systems are deployed calls for solutions to make such systems autonomic, i.e., capable of dynamically self-adapting their behavior in response to changing situations. To this end, proper models and software engineering tools are requi ..."
Abstract
-
Cited by 15 (2 self)
- Add to MetaCart
(Show Context)
Abstract—The increasing complexity and dynamics in which software systems are deployed calls for solutions to make such systems autonomic, i.e., capable of dynamically self-adapting their behavior in response to changing situations. To this end, proper models and software engineering tools are required to be available to support the design and development of autonomic systems. In this paper, we introduce a new gen-eral model, SOTA, for modeling the adaptation requirements. SOTA, by bringing together the lessons of goal-oriented mod-eling and of context-aware system modeling, has the potentials for notably facilitating the tackling of some key issues in the design and development of complex self-adaptive software systems. In particular, SOTA enables: early verification of requirements, identification of knowledge requirements for self-adaptation, and identification of the most suitable self-adaptive patterns. Keywords-self-adaptive systems; goal-oriented requirements engineering, architectural patterns; model checking I.
A.: A conceptual framework for adaptation
- In: Proceedings of 15th the International Conference on Fundamental Aspects of Software Engineering (FASE’12). LNCS
"... Abstract. In this position paper we present a conceptual vision of adaptation, a key feature of autonomic systems. We put some stress on the role of control data and argue how some of the programming paradigms and models used for adaptive systems match with our conceptual framework. Keywords: Adapti ..."
Abstract
-
Cited by 13 (4 self)
- Add to MetaCart
(Show Context)
Abstract. In this position paper we present a conceptual vision of adaptation, a key feature of autonomic systems. We put some stress on the role of control data and argue how some of the programming paradigms and models used for adaptive systems match with our conceptual framework. Keywords: Adaptivity, autonomic systems, control data, MAPE-K control loop 1
Position Paper: Toward s a requirements-driven design of ensemblebased component systems
- Proc. of International Workshop on Hot Topics in Cloud Services, ICPE ’13. Preliminary
, 2013
"... Although approaches that effectively address the distribution and dynamism of adaptive systems at a middleware level exist, the design of complex, ensemble-based systems still remains a significant challenge. This hinders the development of real-life applications based on the ensemble paradigm. A pr ..."
Abstract
-
Cited by 5 (5 self)
- Add to MetaCart
(Show Context)
Although approaches that effectively address the distribution and dynamism of adaptive systems at a middleware level exist, the design of complex, ensemble-based systems still remains a significant challenge. This hinders the development of real-life applications based on the ensemble paradigm. A promising approach appears to be the coupling of proven low-level concepts with high-level ones, revisiting requirements modeling in the realm of ensemblebased systems. To this end, the goal of this paper is to point out the specific challenges related to the design of ensemble-based systems and show that classic requirements models and methods cannot be applied out-of-the-box in a requirements-driven design of ensemble-based applications. In response to this problem, a novel design method based on the iterative refinement of system requirements expressed by predicates on stakeholder’s knowledge is discussed.
Modelling and analyzing adaptive self-assembling strategies with Maude ⋆
"... Abstract. Building adaptive systems with predictable emergent behavior is a challenging task and is becoming a critical need. The research community has accepted the challenge by proposing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. Ou ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
(Show Context)
Abstract. Building adaptive systems with predictable emergent behavior is a challenging task and is becoming a critical need. The research community has accepted the challenge by proposing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. Our own contribution in this regard is a conceptual framework for adaptation centered around the stressed role of control data. The framework is naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model, as we show in this paper. We exploit the recently released statistical model checker PVesta to analyze a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies.
A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase
"... Abstract—Component ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops the core idea of ensembles by providing rigorous semantics as well as models and methods for the whole development life cycle o ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
(Show Context)
Abstract—Component ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops the core idea of ensembles by providing rigorous semantics as well as models and methods for the whole development life cycle of an ensemble-based system. These methods specifically address adaptation, self-awareness, self-optimization, and continuous system evolution. In this paper, we demonstrate the key concepts and benefits of the ASCENS approach in the context of intelligent navigation of electric vehicles (e-Mobility), which itself is one of the three key case studies of the project. I.
Global Protocols as First Class Entities for Self-Adaptive Agents
"... ABSTRACT We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
(Show Context)
ABSTRACT We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a new (global) protocol, projects it for obtaining a local version. If all the agents in the MAS are driven by the same global protocol, the compliance of the MAS execution to the protocol is obtained by construction.
Parametric Protocol-Driven Agents and their Integration in JADE
"... Abstract. In this paper we introduce "Template Global Types" which extend Constrained Global Types to support a more generic and modular approach to define protocols, meant as patterns of events of a given type. Protocols can be used both for monitoring the behavior of distributed computa ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. In this paper we introduce "Template Global Types" which extend Constrained Global Types to support a more generic and modular approach to define protocols, meant as patterns of events of a given type. Protocols can be used both for monitoring the behavior of distributed computational entities and for driving it. In this paper we show the potential of Template Global Types in the domain of protocol-driven intelligent software agents. The interpreter for "executing" Template Global Types has a very natural implementation in Prolog which can easily implement the transition rules for moving from one state to another one, given that an event has been perceived (in case of monitoring) or generated for execution (in case of protocol-driven behavior). This interpreter has been integrated into the Jason logic-based agent framework with limited effort, thanks to the native support that Jason offers to Prolog. In order to demonstrate the flexibility and portability of our approach, which goes beyond the boundaries of logic-based frameworks, in this paper we discuss the integration of the protocol-driven interpreter into the JADE agent framework, entirely implemented in Java.
Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem Preliminary Ideas
"... Abstract—How can we have confidence that self organizing systems actually do what we expect them to? In this position paper we overview some mechanisms at the basis of controlling and predicting the behavior of autonomous and self-organizing systems despite components ’ autonomy and non-deterministi ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract—How can we have confidence that self organizing systems actually do what we expect them to? In this position paper we overview some mechanisms at the basis of controlling and predicting the behavior of autonomous and self-organizing systems despite components ’ autonomy and non-deterministic behavior. In particular we focus the analysis on the SAPERE ecosystem as an exemplary model to frame the discussion. We identify three main directions with which to gain confidence on the overall system behavior: (i) confidence from layering, (ii) confidence from large numbers, (iii) confidence form the structure and dynamics of the state space. In the paper we describe this ideas and their implication in the design of self organizing applications. I.
ENGINEERING AND IMPLEMENTING SOFTWARE ARCHITECTURAL PATTERNS BASED ON FEEDBACK LOOPS
"... Abstract. A highly decentralized system of autonomous service components consists of multiple and interacting feedback loops which can be organized into a variety of architectural patterns. The highly complex nature of these loops make engineering and implementation of these patterns a very challeng ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. A highly decentralized system of autonomous service components consists of multiple and interacting feedback loops which can be organized into a variety of architectural patterns. The highly complex nature of these loops make engineering and implementation of these patterns a very challenging task. In this paper, we present SimSOTA—an integrated Eclipse plug-in to architect, engineer and implement self-adaptive systems based on our feedback loop-based approach. SimSOTA adopts model-driven development to model and simulate complex self-adaptive architectural patterns, and to automate the generation of Java-based implementation code. The approach is validated using a case study in cooperative electric vehicles.