Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri

• Lionel Rodolfo Baquero Hernández ^[1] ; Luis Enrique Argota Vega ^[1] ; Osviel Rodriguez Valdés ^[1] ; Febe Ángel Ciudad Ricardo ^[1]
  1. [1] Universidad de las Ciencias Informáticas

     Universidad de las Ciencias Informáticas

     Cuba

     
• Localización: Revista Cubana de Ciencias Informáticas, ISSN-e 2227-1899, Vol. 10, Nº. 0, 2016
• Idioma: español
• Títulos paralelos:
  • Method for modeling and test of Use Case Diagrams by Petri nets
• Enlaces
  • Texto completo
• Dialnet Métricas: 5 Citas
• Resumen
  • español

    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.

  • English

    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.

• Referencias bibliográficas
  • Chagoya, E. R. (2008). Métodos y técnicas de investigación.. Alianza.
  • Creswell, J. (2012). Educational research: Planning, conducting, and evaluating quantitative and qualitative research. Pearson Education.
  • Larman, C. (2003). UML y Patrones. Pearson Educación. ^eMadrid Madrid.
  • Megino, J. M. (2013). Tipos de relaciones en diagramas de caso de uso.
  • Meneses, A. (2002). Redes de Petri.
  • Mertens, D. M. (2014). Research and evaluation in education and psychology: integrating diversity with quantitative, qualitative, and mixed...
  • Petri, C. A. (1962). Kommunikation mit Automaten. Institut fur Instrumentelle Mathematik.
  • Pressman, R. S. (2002). Ingeniería de Software, Un Enfoque Práctico. McGraw-Hill Companies.
  • Rosa, F. (2007). Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos. Universidad...
  • Sampieri, R. (2006). Metodología de la investigación.. Mc Graw Hill.
  • Schmuller, J. (2001). Aprendiendo UML en 24 horas.. Prentice Hall.
  • Zapata, G. (2005). Sistema de diagnóstico de fallas para sistemas de transmisión de energía utilizando redes de Petri. Energética.