A Tool for Checking Conformance of UML Specification

Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visually specify the structure and behavior of a system. The system requirements are captured and then converted into UML specification. UML specification uses a set of rules and notations, and diagrams to specify the system requirements. In this paper, we present a tool for developing the UML specification. The tool will ease the use of the notations and diagrams for UML specification as well as increase the understanding and familiarity of the UML specification. The tool will also be able to check the conformance of the diagrams against each other for basic compliance of UML specification.

Authors:

• Rosziati Ibrahim
• Noraini Ibrahim

Keywords:

• Software Engineering
• Unified Modeling Language (UML)
• UML Specification.

References:

[1] Bahrami A. (1999). Object-Oriented Systems Development, Mc-Graw
Hill, Singapore.
[2] Cadifra UML Editor. (2008), http://www.cadifra.com/
[3] France R., Kim D.K., Ghosh S., and Song E. (2004). A UML-Based
Pattern Specification Technique, IEEE Transactions on Software
Engineering, Vol. 30, No. 3, March 2004.
[4] Egyed A. (2008). UML Analyzer Tool, http://www.alexanderegyed.
com/tools/uml_analyzer_tool.html
[5] Hoffer J., George J. and Valacich J. (2008). Modern Systems Analysis
and Design, 5th Edition, Pearson International Edition, New Jersey.
[6] Microsoft Visio Toolbox. (2008), http://www.visiotoolbox.com/
[7] Miller G. (2003). What-s New in UML 2.0, A Borland White Paper,
http://www.borland.com/
[8] OMG. (2004). OMG Unified Modelling Language (UML)
Superstructure Specification, http://www/omg.org/
[9] Rational. (2003). Mastering Requirements Management with Use Cases,
Rational Software, IBM.
[10] Rational Rose (2008), http://www.rational.com/
[11] Sommerville I. (2007). Software Engineering, 8th Edition, Addison
Wesley, England.
[12] UML. (2004). UML 2.0 Infrastructure Specification,
http://www/omg/org/docs/ptc/03-09-15.pdf
[13] Weimer W. And Mishra N. (2008). Privately Finding Specifications,
IEEE Transactions on Software Engineering, Vol. 34, No. 1, Jan/Feb
2008.