DocumentCode :
3384279
Title :
How Good is a UML Diagram? A Tool to Check It
Author :
Lavanya, K.C. ; Bala, K.V. ; Mohanty, Hrushikesha ; Shyamasundar, R.K.
Author_Institution :
Dept. of Comput. & Inf. Sci., Univ. of Hyderabad, Hyderabad
fYear :
2005
fDate :
21-24 Nov. 2005
Firstpage :
1
Lastpage :
5
Abstract :
UML is well accepted by practitioners for developing object oriented programs. Different views of an application are specified by different types of UML diagrams. A UML diagram is said to be good when it is structurally consistent. Consistency checking of UML diagrams can be made using OCL constraints. OCL constraints are translated to SQL triggers defined on databases that store UML diagrams. Structural inconsistency can be checked through SQL triggers applicable on the appropriate table that stores the diagram. In this paper, we describe a tool developed to check structural consistency of UML diagrams. This has been achieved through a generic method of translating OCL to SQL and strategies for checking structural consistency of well defined diagrams.
Keywords :
SQL; Unified Modeling Language; diagrams; formal specification; formal verification; object-oriented programming; OCL constraints; SQL triggers; UML diagram; model checking; object constraint language; object oriented programs; structural consistency checking; unified modeling language; Application software; Collaboration; Formal specifications; Java; Object detection; Object oriented databases; Object oriented modeling; Relational databases; Spatial databases; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
TENCON 2005 2005 IEEE Region 10
Conference_Location :
Melbourne, Qld.
Print_ISBN :
0-7803-9311-2
Electronic_ISBN :
0-7803-9312-0
Type :
conf
DOI :
10.1109/TENCON.2005.301101
Filename :
4085290
Link To Document :
بازگشت