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 assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Journal

Artigo

Indicadores

  • Não possue artigos citadosCitado por SciELO

Links relacionados

  • Não possue artigos similaresSimilares 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.

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

 

Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons