Logical approach : consistency rules between activity diagram and class diagram - Noraini Sulaiman (2015)