loading...
Assurance of System Consistency During Independent Creation of UML Diagrams
Szklarska Poreba, Poland June 14-June 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.112nd International Conference on Depen ...
 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 
 
Lukasz Fryz, Leszek Kotulski, "Assurance of System Consistency During Independent Creation of UML Diagrams," Dependability of Computer Systems, International Conference on, pp. 51-58, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/DEPCOS-RELCOMEX.2007.11,
author = {Lukasz Fryz and Leszek Kotulski},
title = {Assurance of System Consistency During Independent Creation of UML Diagrams},
journal ={Dependability of Computer Systems, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2850-3},
pages = {51-58},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Dependability of Computer Systems, International Conference on
TI - Assurance of System Consistency During Independent Creation of UML Diagrams
SN - 0-7695-2850-3
SP51
EP58
A1 - Lukasz Fryz,
A1 - Leszek Kotulski,
PY - 2007
KW - null
VL - 0
JA - Dependability of Computer Systems, International Conference on
ER -
 
Lukasz Fryz, AGH University of Science and Technology, Poland
Leszek Kotulski, AGH University of Science and Technology, Poland
Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.
Citation:
Lukasz Fryz, Leszek Kotulski, "Assurance of System Consistency During Independent Creation of UML Diagrams," depcos-relcomex, pp.51-58, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions