View of Towards Verification of UML Class Models using Formal Specification Methods: A Review | Global Journal of Computer Science and Technology