Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri
Fuente:
Redalyc
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | es |
| Veröffentlicht: |
Universidad de las Ciencias Informáticas
2016
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1876490191930130432 |
|---|---|
| author | Lionel Rodolfo Baquero Hernández |
| author_facet | Lionel Rodolfo Baquero Hernández |
| contents | Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri Lionel Rodolfo Baquero Hernández Luis Enrique Argota Vega Osviel Rodriguez Valdés Febe Ángel Ciudad Ricardo Computación pruebas redes de Petri Modelado de software diagrama de caso de uso 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. 2016 artículo científico 1994-1536 https://www.redalyc.org/articulo.oa?id=378346333011 es http://www.redalyc.org/revista.oa?id=3783 Revista Cubana de Ciencias Informáticas application/pdf Universidad de las Ciencias Informáticas Revista Cubana de Ciencias Informáticas (Cuba) Vol.10 |
| format | Artículo científico |
| id | redalyc_378346333011 |
| institution | Redalyc |
| language | es |
| publishDate | 2016 |
| publisher | Universidad de las Ciencias Informáticas |
| spellingShingle | Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri Lionel Rodolfo Baquero Hernández Computación pruebas redes de Petri Modelado de software diagrama de caso de uso Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri Lionel Rodolfo Baquero Hernández Luis Enrique Argota Vega Osviel Rodriguez Valdés Febe Ángel Ciudad Ricardo Computación pruebas redes de Petri Modelado de software diagrama de caso de uso 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. 2016 artículo científico 1994-1536 https://www.redalyc.org/articulo.oa?id=378346333011 es http://www.redalyc.org/revista.oa?id=3783 Revista Cubana de Ciencias Informáticas application/pdf Universidad de las Ciencias Informáticas Revista Cubana de Ciencias Informáticas (Cuba) Vol.10 |
| title | Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri |
| topic | Computación pruebas redes de Petri Modelado de software diagrama de caso de uso |
| url | https://www.redalyc.org/articulo.oa?id=378346333011 |