Some Considerations On Uml Class Diagram Formalisation Approaches

Abdullah A. H. Alzahrani, Majd Zohri Yafi, Fawaz K. Alarfaj
2014 Zenodo  
Unified Modelling Language (UML) is a software modelling 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 formalise UML diagrams. However, it is always hard to decide what language and/or approach to use. Therefore, in this paper, we highlight some of the advantages and disadvantages of number of
more » ... se approaches. We also try to compare different counterpart approaches. In addition, we draw some guidelines to help in choosing the suitable approach. Special concern is given to the formalisation of the static aspects of UML shown is class diagrams.
doi:10.5281/zenodo.1092329 fatcat:bpbwn6srnnd65kqe6eexjoh2bq