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.

Abstract The objective of this paper is to review the unified modeling language UML sequence diagrams, presenting STAIRS as an alternative way of formalizing UML interaction diagrams, especially sequence diagrams. STAIRS is a formal language for modeling interactive UML diagrams, especially sequence diagrams. The inherent problems of ambiguity that UML models have, including the production of models that are not necessarily corrected, are analyzed. It is demonstrated that STAIRS contributes to reducing this ambiguity. It is concluded that although there are new approaches for software development, such as aspect-oriented development, UML is capable of adapting to these developments. The review and analysis presented in this article could be especially useful for clarifying these aspects.