Pošljite SMS: Consistency rules between UML use case and activity diagrams using logical approach