uml secuencia karen recibe aprende concurrentes analisis posible símbolo indicación inmediatamente ejecutará