Graphical simulation of the dynamic evolution of the software architectures specified in Z

Riadh Ben Halima (1, 2) , Mohamed Jmaiel (2) , Khalil Drira (1)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées

This paper provides a graphical simulator that enables to apprehend the dynamic of components-based software architectures based on their formal specification. The simulator initially accepts (as an input) an already validated Z specification using the Z/EVES tool. Then, it generates graphical entities, according to the UML notation, representing software's components and their connectors. Thereafter, the user may generate architecture instances by adding components and connections between them. Architecture instances can be updated by destroying components/ connections or by modifying their interconnections. The user actions are checked through the formal specification of the architectural style.

Domaines: Génie logiciel [cs.SE]

Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira. Graphical simulation of the dynamic evolution of the software architectures specified in Z. 8th International Workshop on Principles of Software Evolution, Sep 2005, Lisbon, Portugal. pp.4. ⟨hal-00438857⟩