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] On the complexity of verifying consistency of XML specifications
    Arenas, Marcelo
    Fan, Wenfei
    Libkin, Leonid
    SIAM JOURNAL ON COMPUTING, 2008, 38 (03) : 841 - 880
  • [2] On pushout consistency, modularity and interpolation for logical specifications
    Veloso, PAS
    INFORMATION PROCESSING LETTERS, 1996, 60 (02) : 59 - 66
  • [3] Consistency in UML and B multi-view specifications
    Ossami, DDO
    Jacquot, JP
    Souquières, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 386 - 405
  • [4] Consistency of the static and dynamic components of object-oriented specifications
    Formica, A
    Frank, H
    DATA & KNOWLEDGE ENGINEERING, 2002, 40 (02) : 195 - 215
  • [5] Consistency as a Branching Time Notion
    Kiehn, Astrid
    Pattathurajan, Mohnish
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2019, 2019, 11436 : 359 - 377
  • [6] Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver
    Ouimet, Martin
    Lundqvist, Kristina
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (02) : 85 - 97
  • [7] Computing Weak Consistency in Polynomial Time
    Golab, Wojciech
    Li, Xiaozhou
    Lopez-Ortiz, Alejandro
    Nishimura, Naomi
    PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2015, : 395 - 404
  • [8] Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
    Joel Greenyer
    Amir Molzam Sharifloo
    Maxime Cordy
    Patrick Heymans
    Requirements Engineering, 2013, 18 : 175 - 198
  • [9] Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
    Greenyer, Joel
    Sharifloo, Amir Molzam
    Cordy, Maxime
    Heymans, Patrick
    REQUIREMENTS ENGINEERING, 2013, 18 (02) : 175 - 198
  • [10] Evaluating Consistency between BPEL Specifications and Functional Requirements of Complex Computing Systems using the NFR Approach
    Vemulapalli, Anisha
    Subramanian, Nary
    2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 153 - 158
12345