In this thesis we are considering programming models for large-scale and distributed applications that are deployed in dynamic ever-changing environments, like the Grid. To maintain their function with minimal involvement of human operators, those applications have to be instrumented with self-adaptive capabilities. We ground our research on the autonomic computing paradigm, which proposes to design applications as compositions of autonomic elements. Those are software entities exposing two parts: a business part, and a management part, with managers in charge of supervising the business part by reacting to environmental changes. Managers have the possibility to implement complex management strategies: additionnaly to the supervision of the...
Autonomic features, i.e. the capability of systems to manage themselves, are necessary to control co...
Ces dernières décennies, les environnements informatiques sont devenus de plus en plus complexes, pa...
International audienceNowadays, applications are commonly deployed in distributed environments using...
Modern, large-scale systems are deployed in changing environments. They must dynamically adapt to co...
Modern applications are increasingly dynamic and heterogeneous. The architecture of modern systems i...
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
La problématique d'adaptation autonomique prend de plus en plus d'importance dans l'administration d...
Distributed software environments are increasingly complex and difficult to manage, as they integrat...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
During the past decade, the complexity of applications has significantly scaled to satisfy the emerg...
International audienceComponent-oriented software has become a useful tool to build larger and more ...
Althrough component models have greatly simplified the development of distributed applications, adap...
Computing systems have become more and more distributed and heterogeneous, making their manual admin...
Computing systems have become more and more distributed and heterogeneous, making their manual admin...
Software administrators, developers and designers need original means to deal with the growing compl...
Autonomic features, i.e. the capability of systems to manage themselves, are necessary to control co...
Ces dernières décennies, les environnements informatiques sont devenus de plus en plus complexes, pa...
International audienceNowadays, applications are commonly deployed in distributed environments using...
Modern, large-scale systems are deployed in changing environments. They must dynamically adapt to co...
Modern applications are increasingly dynamic and heterogeneous. The architecture of modern systems i...
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
La problématique d'adaptation autonomique prend de plus en plus d'importance dans l'administration d...
Distributed software environments are increasingly complex and difficult to manage, as they integrat...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
During the past decade, the complexity of applications has significantly scaled to satisfy the emerg...
International audienceComponent-oriented software has become a useful tool to build larger and more ...
Althrough component models have greatly simplified the development of distributed applications, adap...
Computing systems have become more and more distributed and heterogeneous, making their manual admin...
Computing systems have become more and more distributed and heterogeneous, making their manual admin...
Software administrators, developers and designers need original means to deal with the growing compl...
Autonomic features, i.e. the capability of systems to manage themselves, are necessary to control co...
Ces dernières décennies, les environnements informatiques sont devenus de plus en plus complexes, pa...
International audienceNowadays, applications are commonly deployed in distributed environments using...