Time consistency of MSC-2000 specifications

被引：4
|
作者：
Zheng, T [1 ]
Khendek, F [1 ]
机构：
[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada
来源：
COMPUTER NETWORKS | 2003年 / 42卷 / 03期
关键词：
MSC; time constraints; semantics; consistency;
D O I：
10.1016/S1389-1286(03)00245-7
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Message Sequence Charts (MSC) is a formal language for the specification of behavioral scenarios and use cases. In the latest standard, time constructs have been added to the language to handle real-time constraints specification. In this paper, we investigate the time consistency of MSC-2000 specifications. Both basic MSCs and high-level MSCs (HMSCs) are taken into account. However, the focus is on HMSCs. We define the notion of consistency for basic MSCs and the notions of strong and weak consistency for HMSCs. We also develop and analyze algorithms for checking the time consistency of MSCs. (C) 2003 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：303 / 322
页数：20
相关论文
共 50 条
  • [1] An extension for MSC-2000 and its application
    Zheng, T
    Khendek, F
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 221 - 232
  • [2] Comparing UML 2.0 interactions and MSC-2000
    Haugen, O
    SYSTEM ANALYSIS AND MODELING, 2005, 3319 : 65 - 79
  • [3] MSC-2000 interaction diagrams for the new millennium
    Haugen, O
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 721 - 732
  • [4] 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
  • [5] Checking consistency of SDL plus MSC specifications
    D'Souza, D
    Mukund, M
    MODEL CHECKING SOFTWARE, 2003, 2648 : 151 - 165
  • [6] Consistency of XML specifications
    Arenas, M
    Fan, WF
    Libkin, L
    INCONSISTENCY TOLERANCE, 2004, 3300 : 15 - 41
  • [7] Checking MSC specifications for timing inconsistency
    Li, XD
    Tan, WK
    Zheng, GL
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01) : 47 - 55
  • [8] Checking MSC specifications for timing inconsistency
    Xuandong Li
    Wenkai Tan
    Guoliang Zheng
    Journal of Computer Science and Technology, 2002, 17 : 47 - 55
  • [9] 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
  • [10] Consistency of Java']Java Run-time Behavior with Design-time Specifications
    Jayaraman, Swaminathan
    Hari, Dinoop
    Jayaraman, Bharat
    2015 EIGHTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2015, : 548 - 554
12345