Meu SciELO
Serviços Personalizados
Artigo
Indicadores
- Citado por SciELO
Links relacionados
- Similares em SciELO
Compartilhar
Revista Cubana de Ciencias Informáticas
versão On-line ISSN 2227-1899
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.