Detection of such errors in the design phase ensures product quality. The activity diagram is transformed to its components and analysis is performed on the components based on the syntactic ...