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 条
  • [41] Using XML to build consistency rules for distributed specifications
    Zisman, A
    Emmerich, W
    Finkelstein, A
    TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 141 - 148
  • [42] Consistency in UML and B multi-view specifications
    Ossami, DDO
    Jacquot, JP
    Souquières, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 386 - 405
  • [43] Model-driven consistency checking of behavioural specifications
    Graaf, Bas
    van Deursen, Arie
    FOURTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2007, : 115 - +
  • [44] Knowledge base approach to consistency management of UML specifications
    Zisman, A
    Kozlenkov, A
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 359 - 363
  • [45] CONSISTENCY AND SATISFIABILITY OF WAVE-FORM TIMING SPECIFICATIONS
    BRZOZOWSKI, JA
    GAHLINGER, T
    MAVADDAT, F
    NETWORKS, 1991, 21 (01) : 91 - 107
  • [46] MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
    Levine, Reese
    Guo, Tianhao
    Cho, Mingun
    Baker, Alan
    Levien, Raph
    Neto, David
    Quinn, Andrew
    Sorensen, Tyler
    PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2023, 2023, : 473 - 488
  • [47] Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
    Kiniry, Joseph R.
    Fairmichael, Fintan
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 242 - +
  • [48] Consistency of the static and dynamic components of object-oriented specifications
    Formica, A
    Frank, H
    DATA & KNOWLEDGE ENGINEERING, 2002, 40 (02) : 195 - 215
  • [49] Consistency checking of concurrent models for scenario-based specifications
    Li, XD
    Hu, J
    Bu, L
    Zhao, JH
    Zheng, GL
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 298 - 312
  • [50] Towards automatic generation of formal specifications for CML consistency verification
    Sharbaf, Mohammadreza
    Zamani, Bahman
    Ladani, Behrouz Tork
    2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 860 - 865
12345