SciELO - Scientific Electronic Library Online

 
vol.10 suppl.2Proceso de aseguramiento de la calidad para un modelo de la calidad en CubaComponentes y funcionalidades de un sistema de recuperación de la información índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

  • No hay articulos citadosCitado por SciELO

Links relacionados

  • No hay articulos similaresSimilares 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.

        · resumen en Inglés     · texto en Español     · Español ( pdf )

 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons