Resumen:
Message Sequence Charts (MSCs) es una notación gráfica y formal (sintaxis y semántica defmibles) usualmente utilizada para describir posibles escenarios en la comunicación y coordinación de componentes distribuidas. Es frecuentemente utilizada por los ingenieros de sistemas de telecomunicaciones (estandarizada por la ITU como Z.120) y, con ciertas modificaciones forma parte del estándar de facto UML. Dado que en los MSCs el comportamiento de comunicación se presenta de una manera muy intuitiva y transparente, especialmente en la representación gráfica, el lenguaje se aprende, se utiliza y se interpreta con facilidad, en relación con otros lenguajes. Puede utilizarse para el soporte de metodologías de especificación, diseño, simulación, testing y documentación de sistemas. Los MSCs no fueron disefiados para un dominio de aplicación único, sino que poseen un amplio campo de aplicación. Uno de ellos es la especificación general del comportamiento de comunicación de los sistemas en tiempo real, en particular, los sistemas de conmutación de telecomunicaciones. Mediante MSCs pueden especificarse sistemas seleccionados, primordialmente los casos normales. Los casos no normales, que comprenden comportamientos excepcionales, se pueden describir a partir de los normales. De este modo, pueden utilizarse MSCs para la especificación de requerimientos, especificación de interfaces, simulación y validación, especificación de pruebas y documentación de sistemas en tiempo real. También pueden utilizarse junto con otros lenguajes de especificación, en particular el lenguaje de especificación y descripción SDL (Specification and Description Language) . MSCs y SDL se complementan mutuamente. SDL provee una descripción completa del comportamiento de procesos individuales, pero no hay una descripción directa de la comunicación entre estas entidades. Por otro lado, MSCs sí provee esta comunicación. MSC-Graphs permite especificar infmitos escenarios y diferentes alternativas de selección. Consiste en un grafo, donde cada nodo es un MSC que contiene un conjunto de entidades que intercambian mensajes a través de eventos de envío y recepción, más restricciones de tiempo. Los sistemas comerciales actuales que se utilizan para diseñar MSCs no poseen como funcionalidad el chequeo de comportamiento observado del software contra el especificado en MSCs. Por eso, esta funcionalidad constituye una herramienta práctica y poderosa que permitirá mejorar la calidad de los sistemas de tiempo real. En nuestra tesis, desarrollamos a nivel teórico y práctico, una herramienta que a partir de logs de ejecuciones, analiza la conformidad de los mismos respecto al comportamiento especificado con MSC-Graphs. La herramienta informa cubrimiento de escenarios, detecta y diagnostica anomalías en el orden de aparición y temporización de eventos con respecto a los escenarios especificados. Constituye una potencial ayuda en los procesos de verificación de software distribuido de tiempo real. La implementación de la herramienta se ha integrado con Telelogic TAU, una aplicación comercial CASE de uso extendido en el ámbito del software de telecomunicaciones, que genera MSC-Graphs bajo el estándae ITU Z.120.
Citación:
---------- APA ----------
Blaustein, Sebastián; Oliveto, Fernando. (2002). Monitoreo de sistemas temporizados especificados con grafos de diagramas de secuencia (MSC-Graphs). (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000198_Blaustein
---------- CHICAGO ----------
Blaustein, Sebastián; Oliveto, Fernando. "Monitoreo de sistemas temporizados especificados con grafos de diagramas de secuencia (MSC-Graphs)". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2002.https://hdl.handle.net/20.500.12110/seminario_nCOM000198_Blaustein
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000198_Blaustein.pdf
Distrubución geográfica
