A Three-Step Approach for Building Correct-by-Design Autonomic Service-Oriented Architectures - LAAS-Réseaux et Communications Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

A Three-Step Approach for Building Correct-by-Design Autonomic Service-Oriented Architectures

Résumé

Autonomic systems are known by their ability to manage and reconfigure themselves in reaction to context changes without human intervention. The manual design and management of such complex systems is an error-prone task where both functional and non-functional requirements can be disturbed. In this paper, we provide a correct-by-design approach that allows a given abstract architectural description to be refined into autonomic architecture models that are close to implementations. The challenge is to get a system architecture that includes the necessary components for monitoring the non-functional parameters (e.g. quality of service) and reacting to any degradation by performing runtime reconfigurations. For solving such a problem, we provide an automated approach where an architecture is modelled as a conceptual graph with different levels of abstractions. Nodes represent software components or services or connectors and vertices represent communication or interaction links. To endow a given architecture with such properties, we define graph transformation rules to formally refine a given abstract representation into a specific model allowing the easy implementation of the autonomic schema. Such a refined schema includes the autonomic control loop components namely Monitoring, Analysis, Planning, and Execution (MAPE). We apply our approach to the "Campus-Wide Smart Metering" use-case providing a service-oriented style connecting Machine-to-Machine devices.
Fichier principal
Vignette du fichier
A_Three-Step_Approach_for_Building_Correct-by-Design_Autonomic_Service-Oriented_Architectures.pdf (3.22 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00807521 , version 1 (03-04-2013)

Identifiants

  • HAL Id : hal-00807521 , version 1

Citer

Emna Mezghani, Riadh Ben Halima, Ismael Bouassida Rodriguez, Khalil Drira. A Three-Step Approach for Building Correct-by-Design Autonomic Service-Oriented Architectures. 2013. ⟨hal-00807521⟩
441 Consultations
164 Téléchargements

Partager

Gmail Facebook X LinkedIn More