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] Examination of standardized patient performance: Accuracy and consistency of six standardized patients over time [J].

Erby, Lori A. H. ;

Roter, Debra L. ;

Biesecker, Barbara B. .

PATIENT EDUCATION AND COUNSELING, 2011, 85 (02) :194-200

[42] Fourier Test-Time Adaptation with Multi-level Consistency for Robust Classification [J].

Huang, Yuhao ;

Yang, Xin ;

Huang, Xiaoqiong ;

Zhou, Xinrui ;

Chi, Haozhe ;

Dou, Haoran ;

Hu, Xindi ;

Wang, Jian ;

Deng, Xuedong ;

Ni, Dong .

MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023, PT III, 2023, 14222 :221-231

[43] Ergodicity of observation-driven time series models and consistency of the maximum likelihood estimator [J].

Douc, R. ;

Doukhan, P. ;

Moulines, E. .

STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 2013, 123 (07) :2620-2647

[44] Adults' reports of their earliest memories: Consistency in events, ages, and narrative characteristics over time [J].

Bauer, Patricia J. ;

Tasdemir-Ozdes, Aylin ;

Larkina, Marina .

CONSCIOUSNESS AND COGNITION, 2014, 27 :76-88

[45] CONSISTENCY ADJUSTMENT OF TIME-SERIES LAND COVER PRODUCTS BASED ON MATRIX DECOMPOSITION [J].

Jiang, Shuyuan ;

Zhu, Ling ;

Shi, Ruoming ;

Shi, Fangyu ;

Fan, Yewen .

IGARSS 2023 - 2023 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, 2023, :3001-3004

[46] Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs [J].

Philippe Declerck .

Discrete Event Dynamic Systems, 2016, 26 :611-632

[47] Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs [J].

Declerck, Philippe .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (04) :611-632

[48] Real-time motion estimation based video steganography with preserved consistency and local optimality [J].

Mohamed H. ;

Elliethy A. ;

Abdelaziz A. ;

Aly H. .

Multimedia Tools and Applications, 2025, 84 (8) :5001-5024

[49] Consistency in long-distance bird migration: contrasting patterns in time and space for two raptors [J].

Vardanis, Yannis ;

Nilsson, Jan-Ake ;

Klaassen, Raymond H. G. ;

Strandberg, Roine ;

Alerstam, Thomas .

ANIMAL BEHAVIOUR, 2016, 113 :177-187

[50] Simulation Research on Consistency of Multi-Agent Systems with Different Topologies and Time-Delay [J].

Lin Yi-Chen .

2020 5TH INTERNATIONAL CONFERENCE ON MECHANICAL, CONTROL AND COMPUTER ENGINEERING (ICMCCE 2020), 2020, :763-768

← 1 2 3 4 5 →