Resumen EL objetivo principal de este artículo es revisar los diagramas de secuencia en el lenguaje unificado de modelado UML, presentando STAIRS como una alternativa para formalizar los diagramas de interacción en UML, en especial los diagramas de secuencia. STAIRS es un lenguaje formal para modelar diagramas interactivos de UML, especialmente diagramas de secuencia. Se analizan los problemas intrínsecos de ambigüedad que tiene UML y que producen modelos no necesariamente correctos. Se muestra que STAIRS representa una solución que hace aportes para disminuir dicha ambigüedad. Se concluye que aunque existen nuevos enfoques para el desarrollo de software, como por ejemplo desarrollo orientado a aspectos, UML se adapta a estos nuevos desarrollos. El análisis y revisión presentados en este artículo puede ser de especial ayuda para clarificar estos temas.