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 条
  • [31] Matching specifications for message sequence charts
    Muscholl, A
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 273 - 287
  • [32] A hierarchy of communication models for Message Sequence Charts
    Engels, AG
    Mauw, S
    Reniers, MA
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (03) : 253 - 292
  • [33] AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS
    MAUW, S
    RENIERS, MA
    COMPUTER JOURNAL, 1994, 37 (04): : 269 - 277
  • [34] Algebraic semantics of basic message sequence charts
    Mauw, S.
    Reniers, M.A.
    Computer Journal, 1994, 37 (04): : 269 - 277
  • [35] TRIM: A tool for triggered message sequence charts
    Sengupta, B
    Cleaveland, R
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 106 - 109
  • [36] Regular sets of infinite message sequence charts
    Kuske, D
    INFORMATION AND COMPUTATION, 2003, 187 (01) : 80 - 109
  • [37] LSCs: Breathing Life into Message Sequence Charts
    Werner Damm
    David Harel
    Formal Methods in System Design, 2001, 19 : 45 - 80
  • [38] Local testing of message sequence charts is difficult
    Bhateja, Puneet
    Gastin, Paul
    Mukund, Madhavan
    Kumar, K. Narayan
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2007, 4639 : 76 - +
  • [39] High-level Message Sequence Charts
    Mauw, S
    Reniers, MA
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 291 - 306
  • [40] Detecting races in ensembles of message sequence charts
    Elkind, Edith
    Genest, Blaise
    Peled, Doron
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 420 - +
12345