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 条
  • [1] Message sequence charts
    Genest, B
    Muscholl, A
    Peled, D
    LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 537 - 558
  • [2] Causal message sequence charts
    Gazagnaire, Thomas
    Genest, Blaise
    Helouet, Loic
    Thiagarajan, P. S.
    Yang, Shaofa
    CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 166 - +
  • [3] Tutorial on message sequence charts
    Rudolph, E
    Graubmann, P
    Grabowski, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (12): : 1629 - 1641
  • [4] Semantics of message sequence charts
    Letichevsky, AA
    Kapitonova, JV
    Kotlyarov, VP
    Volkov, VA
    Letichevsky, AA
    Weigert, T
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 117 - 132
  • [5] Causal Message Sequence Charts
    Gazagnaire, Thomas
    Genest, Blaise
    Helouet, Loic
    Thiagarajan, P. S.
    Yang, Shaofa
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (41) : 4094 - 4110
  • [6] Triggered Message Sequence Charts
    Sengupta, Bikram
    Cleaveland, Rance
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (08) : 587 - 607
  • [7] Compositional message sequence charts
    Gunter, Elsa L.
    Muscholl, Anca
    Peled, Doron
    International Journal on Software Tools for Technology Transfer, 2003, 5 (01) : 78 - 89
  • [8] Message sequence charts: A survey
    Genest, B
    Muscholl, A
    ACSD2005: FIFTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2005, : 2 - 4
  • [9] Dynamic message sequence charts
    Leucker, M
    Madhusudan, P
    Mukhopadhyay, S
    FST TCS 2002: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEOETICAL COMPUTER SCIENCE, PROCEEDINGS, 2002, 2556 : 253 - 264
  • [10] The formalization of Message Sequence Charts
    Mauw, S
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (12): : 1643 - 1657
12345