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 条

[31] Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications [J].

Yu, Pian ;

Tan, Xiao ;

Dimarogonas, Dimos V. .

IEEE TRANSACTIONS ON ROBOTICS, 2024, 40 :2272-2286

[32] FORMAL VERIFICATION OF UML MARTE SPECIFICATIONS BASED ON A TRUE CONCURRENCY REAL TIME MODEL [J].

Chabbat, Nadia ;

Saidouni, Djamel Eddine ;

Boukharrou, Radja ;

Ghanemi, Salim .

COMPUTING AND INFORMATICS, 2020, 39 (05) :1022-1060

[33] Tuning development of distributed real-time systems with SDL and MSC: Current experience and future issues [J].

Gerlich, R .

SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, :85-100

[34] Time-space consistency in large-scale distributed virtual environments [J].

Zhou, Suiping ;

Cai, Wentong ;

Lee, Bu-Sung ;

Turner, Stephen J. .

ACM Transactions on Modeling and Computer Simulation, 2004, 14 (01) :31-47

[35] Evaluation of consistency over time of the use of the Animal Welfare Indicators protocol for horses [J].

Czycholl, I ;

Buettner, K. ;

Klingbeil, P. ;

Krieter, J. .

ANIMAL WELFARE, 2021, 30 (01) :81-90

[36] Usefulness of T2 Relaxation Time for Quantitative Prediction of Meningioma Consistency [J].

Yamada, Hiroshi ;

Tanikawa, Motoki ;

Sakata, Tomohiro ;

Aihara, Noritaka ;

Mase, Mitsuhito .

WORLD NEUROSURGERY, 2022, 157 :E484-E491

[37] Consistency and fairness in real-time distributed virtual environments: Paradigms and relationships [J].

Millar, Jeremy R. ;

Hodson, Douglas D. ;

Peterson, Gilbert L. ;

Ahner, Darryl K. .

JOURNAL OF SIMULATION, 2017, 11 (03) :295-302

[38] Consistency results for the kernel density estimate on continuous time stationary and dependent data [J].

Didi, Sultana ;

Louani, Djamal .

STATISTICS & PROBABILITY LETTERS, 2013, 83 (04) :1262-1270

[39] Fast Event Ordering and Perceptive Consistency in Time Sensitive Distributed Multiplayer Games [J].

Bouillot, Nicolas .

PROCEEDINGS OF CGAMES'2005 - 7TH INTERNATIONAL CONFERENCE ON COMPUTER GAMES: ARTIFICIAL INTELLIGENCE, ANIMATION, MOBILE, EDUCATIONAL AND SERIOUS GAMES, 2005, :146-152

[40] Consistency analysis of the Simplified Refined Instrumental Variable method for Continuous-time systems [J].

Pan, Siqi ;

Gonzalez, Rodrigo A. ;

Welsh, James S. ;

Rojas, Cristian R. .

AUTOMATICA, 2020, 113

← 1 2 3 4 5 →