Resumo

BAQUERO HERNANDEZ, Lionel Rodolfo; ARGOTA VEGA, Luis Enrique; RODRIGUEZ VALDES, Osviel  e  CIUDAD RICARDO, Febe Ángel. Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri. Rev cuba cienc informat [online]. 2016, vol.10, suppl.2, pp. 138-149. ISSN 2227-1899.

RESUMEN El modelado de software es clave en el desarrollo de aplicaciones informáticas, es una forma gráfica de visualizar, construir y documentar un sistema, además de que pueden utilizarse para la comunicación con el cliente. Una red de Petri puede ser definida como una traducción gráfica o matemática de un sistema a eventos discretos con la cual se puede describir su comportamiento. En el presente trabajo se propone un método para el modelado y prueba de diagramas de caso de uso mediante redes de Petri. El método propuesto ha sido demostrado matemáticamente a través de una adaptación a la definición formal de las redes de Petri específica para estos tipos de diagramas.

Palavras-chave : modelado de software; pruebas; redes de Petri; diagrama de caso de uso.

        · resumo em Inglês     · texto em Espanhol     · Espanhol ( pdf )