A UML rule-based approach for describing and checking dynamic software architectures

  • Authors:

  • Mohamed Nadhmi Miladi;Mohamed Hadj Kacem;Achraf Boukhris;Mohamed Jmaiel;Khalil Drira

  • Affiliations:

  • University of Sfax, ReDCAD Laboratory, Tunisia;University of Sfax, ReDCAD Laboratory, Tunisia;University of Sfax, ReDCAD Laboratory, Tunisia;University of Sfax, ReDCAD Laboratory, Tunisia;LAAS-CNRS Laboratory, France

  • Venue:
  • AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we propose a UML based approach for describing and checking dynamic software architectures. In fact, the UML profile enables us to model dynamic software architectures by three aspects: the first one defines the architectural style of an application, the second describes a set of reconfiguration operations and the last one specifies the coordination among the reconfiguration operations defined in the above aspect. The built models are automatically checked through a set of syntactical rules. These models are automatically transformed into formal Z specifications in order to prove architectural properties such as consistency and invariants preservation against reconfiguration.