View of Software System Model Correctness using Graph Theory: A Review | Global Journal of Computer Science and Technology