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 条
  • [41] Automata and logics for timed message sequence charts
    Akshay, S.
    Bollig, Benedikt
    Gastin, Paul
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 290 - 302
  • [42] WHAT DO MESSAGE SEQUENCE CHARTS MEAN
    LADKIN, PB
    LEUE, S
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 301 - 316
  • [43] A semantic and methodological essence of message sequence charts
    Broy, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 213 - 256
  • [44] LSCs: Breathing life into message sequence charts
    Damm, W
    Harel, D
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 45 - 80
  • [45] QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
    Elkind, Edith
    Genest, Blaise
    Peled, Doron
    Spoletini, Paola
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (02) : 211 - 233
  • [46] IC design validation using Message Sequence Charts
    Vranken, H
    Garciá, TG
    Mauw, S
    Feijs, L
    PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : 122 - 127
  • [47] Traviando - Debugging simulation traces with message sequence charts
    Kemper, Peter
    Tepper, Carsten
    QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 135 - +
  • [48] Quantifying the discord: Order discrepancies in Message Sequence Charts
    Elkind, Edith
    Genest, Blaise
    Peled, Doron
    Spoletini, Paola
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 378 - +
  • [49] Revisiting safe realizability of message sequence charts specifications
    Mousavi, Abdolmajid
    Far, Behrouz H.
    ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 37 - 45
  • [50] Pattern matching and membership for hierarchical message sequence charts
    Genest, B
    Muscholl, A
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 326 - 340
12345