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 analysis of reconfigurable dataflow specifications
    Bhattacharya, B
    Bhattacharyya, SS
    EMBEDDED PROCESSOR DESIGN CHALLENGES: SYSTEMS, ARCHITECTURES, MODELLING, AND SIMULATION - SAMOS, 2002, 2268 : 1 - 17
  • [22] On the complexity of verifying consistency of XML specifications
    Arenas, Marcelo
    Fan, Wenfei
    Libkin, Leonid
    SIAM JOURNAL ON COMPUTING, 2008, 38 (03) : 841 - 880
  • [23] Static consistency checking for distributed specifications
    Nentwich, C
    Emmerich, W
    Finkelstein, A
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 115 - 124
  • [24] Refinement and Consistency of Timed Modal Specifications
    Bertrand, Nathalie
    Pinchinat, Sophie
    Raclet, Jean-Baptiste
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 152 - +
  • [25] Radiometric consistency in source specifications for lithography
    Rosenbluth, Alan E.
    Azpiroz, Jaione Tirapu
    Lai, Kafai
    Tian, Kehan
    Melville, David O. S.
    Totzeck, Michael
    Blahnik, Vladan
    Koolen, Armand
    Flagello, Donis
    OPTICAL MICROLITHOGRAPHY XXI, PTS 1-3, 2008, 6924
  • [26] CONSISTENCY CHECKING OF AUTOMATA FUNCTIONAL SPECIFICATIONS
    CHEBOTAREV, AN
    MOROKHOVETS, MK
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 76 - 85
  • [27] Pragmatic consistency management in industrial requirements specifications
    Scheffczyk, J
    Borghoff, UM
    Birk, A
    Siedersleben, J
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 272 - 281
  • [28] Verifying consistency and validity of formal specifications by testing
    Liu, SY
    FM'99-FORMAL METHODS, 1999, 1708 : 896 - 914
  • [29] Hierarchy of Three-Party Consistency Specifications
    Loss, Julian
    Maurer, Ueli
    Tschudi, Daniel
    2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, 2016, : 3048 - 3052
  • [30] Formalized specifications consistency in multilevel design of programs
    Panfilenko, V.P.
    Kibernetika i Sistemnyj Analis, 1993, (02): : 73 - 84
12345