An spin / PrOMELA algorithm proposal for the analysis and errors diagnosis in UML sequence diagrams,Una propuesta de algoritmo spin / promela para el análisis y diagnóstico de errores en diagramas de secuencia UML Artículo editorial