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. Method for modeling and test of Use Case Diagrams by Petri nets. Rev cuba cienc informat [online]. 2016, vol.10, suppl.2, pp.138-149. ISSN 2227-1899.

ABSTRACT The modeling software is key to the development of informatical applications, is a graphic way of visualizing, constructing, and documenting a system, also it can be used for communication with the client. A Petri net can be defined as a graphical or mathematical translation of a discrete event system with which to describe their behavior. In this investigation is proposed a method for modeling and test use case diagrams using Petri nets. The proposed method has been mathematically demonstrated through an adaptation to the formal definition of Petri nets specific to these types of diagrams.

Palabras clave : modeling software; testing; Petri nets; use case diagram.

        · resumen en Español     · 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