z-logo
open-access-imgOpen Access
Statecharts estocásticos para evaluación del desempeño en los sistemas reactivos
Author(s) -
Alonso de jesus Chica Leal,
Diego Fernando Cano Mendoza
Publication year - 2008
Publication title -
revista clepsidra
Language(s) - Spanish
Resource type - Journals
ISSN - 1900-1355
DOI - 10.26564/19001355.478
Subject(s) - humanities , computer science , art
Las cartas de estado (Statecharts) son representadas en un leguaje gráfi co para identifi car sistemas reactivos complejos. Se presenta la metodología realizada en donde se realiza una extensión de los diagramas de transición – estado para los cuales las nociones de jerarquía y ortogonalidad han sido introducidas. Recientemente, Statecharts han sido sugeridos para representar modelos de desempeño. En esos modelos de desempeño, el comportamiento de un sistema bajo estudios se considera probabilístico y con este interés se han desarrollado software dedicados a esta tarea. Por consiguiente, la inclusión de probabilidades en protocolo Statecharts es el interes de este artículo. Dado que un sistema reactivo es modelado probabilísticamente para eventos. Este modelo en Statecharts es equivalente una cadena o proceso de Markov en tiempo continuo, por tanto se construye un modelo analítico del modelo y se presenta el aspecto de generación de una cadena de Markov de una representación Statecharts junto con la solución para incluir probabilidades entre las transiciones. En este artículo presentamos los Statecharts a partir de la utilización del Toolbox de Matlab llamado Statefl ow.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here