A Tool for Checking Conformance of UML Specification

Authors: Rosziati Ibrahim, Noraini Ibrahim

Abstract:

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.

Keywords: Software Engineering, Unified Modeling Language (UML), UML Specification.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1328312

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.