Modeling and enforcing invariants of dynamic software architectures

  • Authors:

  • Slim Kallel;Mohamed Hadj Kacem;Mohamed Jmaiel

  • Affiliations:

  • ReDCAD Laboratory, University of Sfax, Sfax, Tunisia 3038 and Software Technology Group, Darmstadt University of Technology, Darmstadt, Germany 64289;ReDCAD Laboratory, University of Sfax, Sfax, Tunisia 3038;ReDCAD Laboratory, University of Sfax, Sfax, Tunisia 3038

  • Venue:
  • Software and Systems Modeling (SoSyM)
  • Year:
  • 2012

Quantified Score

Hi-index 0.02

Visualization

Abstract

In this paper, we propose an "end-to-end" approach that supports dynamic reconfiguration of software architectures taking advantage of graphical modeling, formal methods and aspect-oriented programming. There are three ingredients of the proposal. The specification end of the solution is covered by a new UML profile enabling to specify the desired architectural style (model), its invariants and the intended reconfiguration operations. In order to verify the consistency of the model and the preservation of the invariants after every reconfiguration, we automatically generate formal specifications in Z notation from the defined model. At the runtime enforcing end of the solution, we propose to encode the enforcement logic as aspect in the AspectJ language. The third important ingredient that makes our approach end-to-end is the automatic translation of formal specifications into aspect-based enforcement code.