Enviar aquest missatge de text: Consistency rules between UML use case and activity diagrams using logical approach