World Academic Union
Unified Modeling Language (UML) is a software modeling language that is widely used and accepted. One significant drawback, of which, is that the language lacks formality. This makes carrying out any type of rigorous analysis difficult process. Many researchers attempt to introduce their approaches to formalize UML diagrams. However, it is always hard to decide what language and/or approach to use. Therefore, in this paper, the authors highlight some of the advantages and disadvantages of number of those approaches. They also try to compare different counterpart approaches. In addition, they draw some guidelines to help in choosing the suitable approach.