SYSTEMS SPECIFICATION BY BASIC PROTOCOLS

被引：6

作者：

Letichevsky, A. Ad. ^{[1
]}

Kapitonova, Yu. V. ^{[1
]}

Volkov, V. A. ^{[1
]}

Letichevsky, A. A. ^{[2
]}

Baranov, S. N. ^{[3
]}

Kotlyarov, V. P. ^{[3
]}

Weigert, T. ^{[4
]}

机构：

[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine

[2] Informat Program Syst Co Ltd, Kiev, Ukraine

[3] Closed Corp Motorola, St Petersburg, Russia

[4] Closed Corp Motorola, Chicago, IL USA

来源：

CYBERNETICS AND SYSTEMS ANALYSIS | 2005年 / 41卷 / 04期

关键词：

formal methods; requirements verification; agents and environments;

D O I：

10.1007/s10559-005-0083-y

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Theoretical foundations of requirements formalization and verification based on basic protocols are presented. This approach uses the concept of an attributed transition system. Facets of an implementation of the system VRS are described together with some statistical results of using this tool in large-scale industrial projects.

引用

页码：479 / 493

页数：15

共 50 条

[21] SPANNER - A TOOL FOR THE SPECIFICATION, ANALYSIS, AND EVALUATION OF PROTOCOLS
AGGARWAL, S
BARBARA, D
METH, KZ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1218 - 1237
[22] On simplifying modular specification and verification of distributed protocols
Sinha, P
Suri, N
[J]. SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 173 - 181
[23] A FORMAL SPECIFICATION TECHNIQUE AND IMPLEMENTATION METHOD FOR PROTOCOLS
BLUMER, TP
TENNEY, RL
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (03): : 201 - 217
[24] Object-oriented specification of protocols for reusability
Prinz, A
Schwarz, M
[J]. TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 90 - 102
[25] Specification of communication protocols using temporal logic
Jmaiel, M
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 33 (03) : 299 - 312
[26] Specification and Validation of Behavioural Protocols in the rCOS Modeler
Chen, Zhenbang
Morisset, Charles
Stolz, Volker
[J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 387 - 401
[27] Specification and formal verification of interconnect bus protocols
Ivanov, L
Nunna, R
[J]. PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 378 - 382
[28] Specification and Verification of Cryptographic Protocols based on TCPL
Lei Xinfeng
Li Xinghua
Liu Jun
Xiao Junmo
[J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 1216 - 1220
[29] The basic liberties: An essay on analytical specification
McLeod, Stephen K.
Tanyi, Attila
[J]. EUROPEAN JOURNAL OF POLITICAL THEORY, 2023, 22 (03) : 465 - 486
[30] ALGEBRAIC SPECIFICATION OF MODULES AND THEIR BASIC INTERCONNECTIONS
BLUM, EK
EHRIG, H
PARISIPRESICCE, F
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 293 - 339

← 1 2 3 4 5 →