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 条
  • [21] Consistency and individuality of honeybee stinging behaviour across time and social contexts
    Kannan, Kavitha
    Galizia, C. Giovanni
    Nouvian, Morgane
    ROYAL SOCIETY OPEN SCIENCE, 2025, 12 (01):
  • [22] Time Pressure Heuristics Can Improve Performance Due to Increased Consistency
    Rice, Stephen
    Trafimow, David
    JOURNAL OF GENERAL PSYCHOLOGY, 2012, 139 (04) : 273 - 288
  • [23] Influence of Mixing Time on Workability and Strength Properties of Concrete in Different Consistency
    Fang Dong
    Zhou MingKai
    Wang HuaGang
    HIGH PERFORMANCE STRUCTURES AND MATERIALS ENGINEERING, PTS 1 AND 2, 2011, 217-218 : 1224 - 1228
  • [24] Behavioral Stability Across Time and Situations: Nonverbal Versus Verbal Consistency
    Max Weisbuch
    Michael L. Slepian
    Asha Clarke
    Nalini Ambady
    Jeremy Veenstra-VanderWeele
    Journal of Nonverbal Behavior, 2010, 34 : 43 - 56
  • [25] On consistency and rate of convergence of Flux Reconstruction for time-dependent problems
    Asthana, Kartikey
    Watkins, Jerry
    Jameson, Antony
    JOURNAL OF COMPUTATIONAL PHYSICS, 2017, 334 : 367 - 391
  • [26] The effect of storage temperature and time on the consistency and color of sterilized processed cheese
    Bunka, Frantisek
    Stetina, Jiri
    Hrabe, Jan
    EUROPEAN FOOD RESEARCH AND TECHNOLOGY, 2008, 228 (02) : 223 - 229
  • [27] The effect of storage temperature and time on the consistency and color of sterilized processed cheese
    František Buňka
    Jiří Štětina
    Jan Hrabě
    European Food Research and Technology, 2008, 228 : 223 - 229
  • [28] Behavioral Stability Across Time and Situations: Nonverbal Versus Verbal Consistency
    Weisbuch, Max
    Slepian, Michael L.
    Clarke, Asha
    Ambady, Nalini
    Veenstra-VanderWeele, Jeremy
    JOURNAL OF NONVERBAL BEHAVIOR, 2010, 34 (01) : 43 - 56
  • [29] Time (in)consistency of multistage distributionally robust inventory models with moment constraints
    Xin, Linwei
    Goldberg, David A.
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2021, 289 (03) : 1127 - 1141
  • [30] Relationships among consistency/variability and other phonological measures over time
    Tyler, AA
    Lewis, KE
    TOPICS IN LANGUAGE DISORDERS, 2005, 25 (03) : 243 - 253
12345