Observing timed systems by means of message sequence chart graphs

Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed th...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Blaustein, S., Oliveto, F., Braberman, V.
Formato:	CONF
Materias:	Algorithms Computer architecture Graph theory Network protocols Real time systems Response time (computer systems) Semantics Message interchange Message sequence chart graphs Software architecture Software engineering
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p707_Blaustein
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_02705257_v_n_p707_Blaustein
record_format	dspace
spelling	todo:paper_02705257_v_n_p707_Blaustein2023-10-03T15:14:32Z Observing timed systems by means of message sequence chart graphs Blaustein, S. Oliveto, F. Braberman, V. Algorithms Computer architecture Graph theory Network protocols Real time systems Response time (computer systems) Semantics Message interchange Message sequence chart graphs Software architecture Software engineering Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed that a log-analyzer and a run-time monitor based MSC-Graphs are practical and powerful tools to improve the quality of Real-Time systems. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p707_Blaustein
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Algorithms Computer architecture Graph theory Network protocols Real time systems Response time (computer systems) Semantics Message interchange Message sequence chart graphs Software architecture Software engineering
spellingShingle	Algorithms Computer architecture Graph theory Network protocols Real time systems Response time (computer systems) Semantics Message interchange Message sequence chart graphs Software architecture Software engineering Blaustein, S. Oliveto, F. Braberman, V. Observing timed systems by means of message sequence chart graphs
topic_facet	Algorithms Computer architecture Graph theory Network protocols Real time systems Response time (computer systems) Semantics Message interchange Message sequence chart graphs Software architecture Software engineering
description	Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed that a log-analyzer and a run-time monitor based MSC-Graphs are practical and powerful tools to improve the quality of Real-Time systems.
format	CONF
author	Blaustein, S. Oliveto, F. Braberman, V.
author_facet	Blaustein, S. Oliveto, F. Braberman, V.
author_sort	Blaustein, S.
title	Observing timed systems by means of message sequence chart graphs
title_short	Observing timed systems by means of message sequence chart graphs
title_full	Observing timed systems by means of message sequence chart graphs
title_fullStr	Observing timed systems by means of message sequence chart graphs
title_full_unstemmed	Observing timed systems by means of message sequence chart graphs
title_sort	observing timed systems by means of message sequence chart graphs
url	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p707_Blaustein
work_keys_str_mv	AT blausteins observingtimedsystemsbymeansofmessagesequencechartgraphs AT olivetof observingtimedsystemsbymeansofmessagesequencechartgraphs AT brabermanv observingtimedsystemsbymeansofmessagesequencechartgraphs
_version_	1807320262439337984

Observing timed systems by means of message sequence chart graphs

Ejemplares similares