loading...
Graphical simulation of the dynamic evolution of the software architectures specified in Z
Lisbon, Portugal September 05-September 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IWPSE.2005.20Eighth International Workshop on Prin ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, "Graphical simulation of the dynamic evolution of the software architectures specified in Z," Principles of Software Evolution, International Workshop on, pp. 45-48, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/IWPSE.2005.20,
author = {Riadh Ben Halima and Mohamed Jmaiel and Khalil Drira},
title = {Graphical simulation of the dynamic evolution of the software architectures specified in Z},
journal ={Principles of Software Evolution, International Workshop on},
volume = {0},
year = {2005},
issn = {1550-4077},
pages = {45-48},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWPSE.2005.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Principles of Software Evolution, International Workshop on
TI - Graphical simulation of the dynamic evolution of the software architectures specified in Z
SN - 1550-4077
SP45
EP48
A1 - Riadh Ben Halima,
A1 - Mohamed Jmaiel,
A1 - Khalil Drira,
PY - 2005
KW - null
VL - 0
JA - Principles of Software Evolution, International Workshop on
ER -
 
Riadh Ben Halima, University of Sfax, Tunisia
Mohamed Jmaiel, University of Sfax, Tunisia
Khalil Drira, LAAS-CNRS, Cedex, France
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.
Citation:
Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, "Graphical simulation of the dynamic evolution of the software architectures specified in Z," iwpse, pp.45-48, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.