loading...
Formal Semantics and Reasoning about UML Class Diagram
International Conference on Dependabi ...
 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 
 
Marcin Szlenk, "Formal Semantics and Reasoning about UML Class Diagram," Dependability of Computer Systems, International Conference on, vol. 0, no. 0, pp. 51-59, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/DEPCOS-RELCOMEX.2006.27,
author = {Marcin Szlenk},
title = {Formal Semantics and Reasoning about UML Class Diagram},
journal ={Dependability of Computer Systems, International Conference on},
volume = {0},
year = {2006},
isbn = {},
pages = {51-59},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.27},
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 - Formal Semantics and Reasoning about UML Class Diagram
SN -
SP51
EP59
A1 - Marcin Szlenk,
PY - 2006
KW - null
VL - 0
JA - Dependability of Computer Systems, International Conference on
ER -
 
Marcin Szlenk, Warsaw University of Technology, Poland
The main way of coping with the complexity of software systems is to construct and use models expressed in UML. Unfortunately, the semantics (meaning) of models written in UML is not precisely defined. It may result in the incorrect interpretation of a model and make it hard to strictly verify a model and its transformation. In this paper we formally (mathematically) define UML class diagram and its semantics. The problem of consistency of the diagram is then introduced and some examples of inconsistencies are forwarded.
Citation:
Marcin Szlenk, "Formal Semantics and Reasoning about UML Class Diagram," depcos-relcomex,pp.51-59, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.


Click here to go to beta feedback form