E. Insfrán,  E. Tejadillos,  S. Martí,  M. Burbano. 

En el ámbito de la Ingeniería del Software, diversos métodos han sido propuestos para la especificación y modelado de requisitos y el modelado conceptual. En este trabajo se presenta un Proceso de Análisis de Requisitos (PAR) que permite refinar una Especificación de Requisitos representada mediante Casos de Uso utilizando Diagramas de Secuencia extendidos con estereotipos de UML. Se define además, un conjunto de reglas que facilita la trazabilidad de los elementos de la Especificación de Requisitos a una representación equivalente en el Esquema Conceptual

http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER02/insfran.pdf

Processando consulta.