loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE/ACS International Conference on Computer Systems and Applications
A UML rule-based approach for describing and checking dynamic software architectures
Doha, Qatar
March 31-April 04
ISBN: 978-1-4244-1967-8
ASCII Text
x 
 
Mohamed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira, "A UML rule-based approach for describing and checking dynamic software architectures," Computer Systems and Applications, ACS/IEEE International Conference on, pp. 1107-1114, 2008 IEEE/ACS International Conference on Computer Systems and Applications, 2008.
 
 
BibTex
x
 
@article{ 10.1109/AICCSA.2008.4493686,
author = {Mohamed Nadhmi Miladi and Mohamed Hadj Kacem and Achraf Boukhris and Mohamed Jmaiel and Khalil Drira},
title = {A UML rule-based approach for describing and checking dynamic software architectures},
journal ={Computer Systems and Applications, ACS/IEEE International Conference on},
volume = {0},
year = {2008},
isbn = {978-1-4244-1967-8},
pages = {1107-1114},
doi = {http://doi.ieeecomputersociety.org/10.1109/AICCSA.2008.4493686},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Systems and Applications, ACS/IEEE International Conference on
TI - A UML rule-based approach for describing and checking dynamic software architectures
SN - 978-1-4244-1967-8
SP1107
EP1114
A1 - Mohamed Nadhmi Miladi,
A1 - Mohamed Hadj Kacem,
A1 - Achraf Boukhris,
A1 - Mohamed Jmaiel,
A1 - Khalil Drira,
PY - 2008
VL - 0
JA - Computer Systems and Applications, ACS/IEEE International Conference on
ER -
 
Mohamed Nadhmi Miladi, University of Sfax, ReDCAD Laboratory, Tunisia
Mohamed Hadj Kacem, University of Sfax, ReDCAD Laboratory, Tunisia
Achraf Boukhris, University of Sfax, ReDCAD Laboratory, Tunisia
Mohamed Jmaiel, University of Sfax, ReDCAD Laboratory, Tunisia
Khalil Drira, LAAS-CNRS Laboratory, France
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.
Citation:
Mohamed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira, "A UML rule-based approach for describing and checking dynamic software architectures," aiccsa, pp.1107-1114, 2008 IEEE/ACS International Conference on Computer Systems and Applications, 2008
Usage of this product signifies your acceptance of the Terms of Use.