Checking consistency of SDL+MSC specifications

被引：0

作者：

D'Souza, Deepak ^{[1
]}

Mukund, Madhavan ^{[1
]}

机构：

[1] Chennai Mathematical Institute, 92 G N Chetty Road, Chennai 600 017, India

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2648卷

关键词：

D O I：

10.1007/3-540-44829-2_10

中图分类号：

学科分类号：

摘要：

Temporal logic

引用

页码：151 / 165

共 50 条

[31] GENERATING TESTS FOR CONTROL PORTION OF SDL SPECIFICATIONS
LUO, G
DAS, A
VONBOCHMANN, GV
PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 51 - 66
[32] Generating JADE agents from SDL specifications
Stoica, Florin
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2006, 1 : 429 - 438
[33] PRACTICAL METHODS FOR THE FORMAL VALIDATION OF SDL SPECIFICATIONS
HOLZMANN, GJ
COMPUTER COMMUNICATIONS, 1992, 15 (02) : 129 - 134
[34] Guest editorial - MSC and SDL in project life cycles
Dssouli, R
Lahav, Y
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 611 - 612
[35] SDL and MSC in international organizations: ITU-T
Reed, R
SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 231 - 241
[36] Implementation of the conformation of MSC and SDL diagrams in the REAL technology
A. N. Terekhov
V. V. Sokolov
Programming and Computer Software, 2007, 33 : 24 - 33
[37] Leistungsbewertung von SDL/MSC-spezifizierten Protokollsystemen
Dulz, W.
ITG-Fachbericht, (137):
[38] Formal definition of SDL-2000 -: Compiling and running SDL specifications as ASM models
Eschbach, R
Glässer, U
Gotzhein, R
von Löwis, M
Prinz, A
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 1024 - 1049
[39] Implementation of the conformation of MSC and SDL diagrams in the REAL technology
Terekhov, A. N.
Sokolov, V. V.
PROGRAMMING AND COMPUTER SOFTWARE, 2007, 33 (01) : 24 - 33
[40] SDL and MSC description of ETRI software streaming protocol
Lee, JJ
Nam, KH
Choi, W
Song, D
Kong, KS
8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U1148 - U1151

← 1 2 3 4 5 →