Notación gráfica para diseño de interacción de procesos transaccionales.