Mi SciELO
Servicios Personalizados
Articulo
Indicadores
- Citado por SciELO
Links relacionados
- Similares en SciELO
Compartir
Revista Cubana de Ciencias Informáticas
versión On-line ISSN 2227-1899
Resumen
BAQUERO HERNANDEZ, Lionel Rodolfo; ARGOTA VEGA, Luis Enrique; RODRIGUEZ VALDES, Osviel y 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.
Palabras clave : modelado de software; pruebas; redes de Petri; diagrama de caso de uso.