Checking MSC specifications for timing inconsistency

被引：0
|
作者：
Li, XD [1 ]
Tan, WK [1 ]
Zheng, GL [1 ]
机构：
[1] Nanjing Univ, Dept Comp Sci & Technol, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2002年 / 17卷 / 01期
关键词：
real-time system; message sequence chart; model checking; timing inconsistency;
D O I：
10.1007/BF02949824
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Message sequence chart (MSC) is a graphical and textual language for the description and specification of the interactions between system components. MSC specifications allow convenient expression of multiple scenarios, and offer an intuitive and visual way of describing design requirements. Like any other aspect of the specification and design process, MSCs are amenable to errors, and their analysis is important. In this paper, the verification problem of MSC specification for timing inconsistency is studied, which means that no execution scenario described by an MSC specification is timing consistent. An algorithm is developed to check MSC specifications for timing inconsistency.
引用
收藏
页码：47 / 55
页数：9
相关论文
共 50 条
  • [1] Checking MSC specifications for timing inconsistency
    Xuandong Li
    Wenkai Tan
    Guoliang Zheng
    Journal of Computer Science and Technology, 2002, 17 : 47 - 55
  • [2] Checking consistency of SDL+MSC specifications
    D'Souza, Deepak
    Mukund, Madhavan
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2648 : 151 - 165
  • [3] Checking consistency of SDL plus MSC specifications
    D'Souza, D
    Mukund, M
    MODEL CHECKING SOFTWARE, 2003, 2648 : 151 - 165
  • [4] Timing analysis of MSC specifications with asynchronous concatenation
    Minxue Pan
    Xuandong Li
    International Journal on Software Tools for Technology Transfer, 2012, 14 (6) : 639 - 651
  • [5] Checking compositions of UML sequence diagrams for timing inconsistency
    Li, XD
    Lilius, J
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 154 - 161
  • [6] Measuring inconsistency in requirements specifications
    Mu, KD
    Jin, Z
    Lu, RQ
    Liu, WR
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 440 - 451
  • [7] INCONSISTENCY HANDLING IN MULTIPERSPECTIVE SPECIFICATIONS
    FINKELSTEIN, ACW
    GABBAY, D
    HUNTER, A
    KRAMER, J
    NUSEIBEH, B
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (08) : 569 - 578
  • [8] Measuring Inconsistency in Declarative Process Specifications
    Corea, Carl
    Grant, John
    Thimm, Matthias
    BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 289 - 306
  • [9] Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics
    Decker, Hendrik
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 : 548 - 558
  • [10] MSCAN -: A tool for analyzing MSC specifications
    Bollig, Benedikt
    Kern, Carsten
    Schluetter, Markus
    Stolz, Volker
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 455 - 458
12345