Conferencia
Blaustein, S.; Oliveto, F.; Braberman, V. "Observing timed systems by means of message sequence chart graphs" (2002) 24th International Conference on Software Engineering (ICSE 2002):707
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
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.
Registro:
| Documento: | Conferencia |
| Título: | Observing timed systems by means of message sequence chart graphs |
| Autor: | Blaustein, S.; Oliveto, F.; Braberman, V. |
| Ciudad: | Orlando, FL |
| Filiación: | Departamento de Computación, Facultad Ciencias Exactas Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina |
| Palabras clave: | 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 |
| Año: | 2002 |
| Página de inicio: | 707 |
| Título revista: | 24th International Conference on Software Engineering (ICSE 2002) |
| Título revista abreviado: | Proc Int Conf Software Eng |
| ISSN: | 02705257 |
| CODEN: | PCSED |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p707_Blaustein |
Referencias:
- Alur, R., Yannakakis, M., Model checking of message sequence charts Proceedings of the Tenth International Conference on Concurrency Theory, LNCS 1664, Springer Verlag, 1999
- Ben-Abdallah, H., Leue, S., Timing constraints in message sequence chart specifications Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, 1997
- Li, X., Lilius, J., Timing analysis of message sequence charts (1999), TUCS Technical Report No 255, Turku Centre for Computer Science, Turku, Finland; Alur, R., Etessami, K., Yannakakis, M., Inference of message sequence charts Proceedings of the 22nd International Conference on Software Engineering (ICSE'00)
- (1996), Z.120 Message Sequence Charts (MSC'96). ITU-T; http://www.telelogic.com/products/tau/, Telelogic; http://www.rational.com/products/rose/real_time/rtose.jsp, Rational Rose; http://www.ilogix.com/products/rhapsody/rhap_inj.cfm, I-LogixA4 - ACM; ACM SIGSOFT; IEEE Computer Society; IEEE Computer Society Technical Council of Software Engineering
Citas:
---------- APA ----------
Blaustein, S., Oliveto, F. & Braberman, V. (2002) . Observing timed systems by means of message sequence chart graphs. 24th International Conference on Software Engineering (ICSE 2002), 707.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p707_Blaustein [ ]
---------- CHICAGO ----------
Blaustein, S., Oliveto, F., Braberman, V. "Observing timed systems by means of message sequence chart graphs" . 24th International Conference on Software Engineering (ICSE 2002) (2002) : 707.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p707_Blaustein [ ]
---------- MLA ----------
Blaustein, S., Oliveto, F., Braberman, V. "Observing timed systems by means of message sequence chart graphs" . 24th International Conference on Software Engineering (ICSE 2002), 2002, pp. 707.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p707_Blaustein [ ]
---------- VANCOUVER ----------
Blaustein, S., Oliveto, F., Braberman, V. Observing timed systems by means of message sequence chart graphs. Proc Int Conf Software Eng. 2002:707.Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p707_Blaustein [ ]
