A toolset for message sequence charts

被引：0
|
作者：
Peled, DA [1 ]
机构：
[1] AT&T Bell Labs, Murray Hill, NJ 07974 USA
来源：
COMPUTER AIDED VERIFICATION | 1998年 / 1427卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.
引用
收藏
页码：532 / 536
页数：5
相关论文
共 50 条
  • [21] Model checking of message sequence charts
    Alur, R
    Yannakakis, M
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 114 - 129
  • [22] An interactive visualization for message sequence charts
    Eick, SG
    Ward, A
    FOURTH WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1996, : 2 - 8
  • [23] Semantics of timed message Sequence charts
    Letichevskij, A.A.
    Kapitonova, Yu.V.
    Kotlyarov, V.P.
    Letichevskij, A.A.
    Volkov, V.A.
    Kibernetika i Sistemnyj Analiz, 2002, (04): : 3 - 32
  • [24] Distributed implementation of message sequence charts
    Rouwaida Abdallah
    Loïc Hélouët
    Claude Jard
    Software & Systems Modeling, 2015, 14 : 1029 - 1048
  • [25] A framework for pathologies of message sequence charts
    Dan, Haitao
    Hierons, Robert M.
    Counsell, Steve
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (11) : 1283 - 1295
  • [26] The essence ef message sequence charts
    Broy, M
    INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 42 - 47
  • [27] Modeling with Stochastic Message Sequence Charts
    Zhou, ZH
    Sheldon, FT
    Potok, TE
    CCCT 2003, VOL 1, PROCEEDINGS: COMPUTING/INFORMATION SYSTEMS AND TECHNOLOGIES, 2003, : 454 - 461
  • [28] Semantics of Timed Message Sequence Charts
    A. A. Letichevskii
    Yu. V. Kapitonova
    V. P. Kotlyarov
    A. A. Letichevskii
    V. A. Volkov
    Cybernetics and Systems Analysis, 2002, 38 (4) : 475 - 484
  • [29] Stepwise design with message sequence charts
    Khendek, F
    Bourduas, S
    Vincent, D
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 19 - 34
  • [30] Distributed implementation of message sequence charts
    Abdallah, Rouwaida
    Helouet, Loic
    Jard, Claude
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 1029 - 1048
12345