Sciweavers

39 search results - page 2 / 8
» Modeling of self-adaptive systems with SCADE
Sort
View
HYBRID
2005
Springer
14 years 26 days ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
DAGSTUHL
2009
13 years 8 months ago
Modeling Dimensions of Self-Adaptive Software Systems
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it ...
Jesper Andersson, Rogério de Lemos, Sam Mal...
KBSE
2008
IEEE
14 years 1 months ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
ECOWS
2009
Springer
14 years 1 months ago
A Model and Algorithm for Self-Adaptation in Service-oriented Systems
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
Christoph Dorn, Daniel Schall, Schahram Dustdar
ENTCS
2010
107views more  ENTCS 2010»
13 years 7 months ago
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott,...