Text this: Logical approach : consistency rules between activity diagram and class diagram