SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW

被引：10

作者：

DEDERICHS, F

WEBER, R

机构：

[1] Institut für Informatik, Technische Universität München, Arcisstr 21, D-8000 München 2

来源：

INFORMATION PROCESSING LETTERS | 1990年 / 36卷 / 01期

关键词：

distributed systems; liveness; property; Safety; specification methodology;

D O I：

10.1016/0020-0190(90)90181-V

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Methodological sound characterizations of safety and liveness properties, which are relevant for the specification of distributed systems, are given. The recent characterizations by Alpern and Schneider are reviewed and some of their shortcomings are demonstrated. It is shown why they occur and that in our approach they are avoided. Finally some features of these characterizations are proved and their methodological impacts are discussed. © 1990.

引用

页码：25 / 30

页数：6

共 50 条

[1] PRESERVING LIVENESS - COMMENTS ON SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW
ABADI, M
ALPERN, B
APT, KR
FRANCEZ, N
KATZ, S
LAMPORT, L
SCHNEIDER, FB
INFORMATION PROCESSING LETTERS, 1991, 40 (03) : 141 - 142
[2] PRESERVING LIVENESS - COMMENTS ON SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW - REPLY
DEDERICHS, F
WEBER, R
INFORMATION PROCESSING LETTERS, 1991, 40 (03) : 143 - 143
[3] SAFETY FIRST, THE REGULATORY POINT-OF-VIEW
KIDD, ARM
VETERINARY RECORD, 1986, 119 (09) : 197 - 197
[4] FROM THE POINT-OF-VIEW OF REFRIGERATION
ORTNER, H
FLEISCHWIRTSCHAFT, 1990, 70 (12): : 1414 - 1416
[5] FROM THE PILOTS POINT-OF-VIEW
BAUER, RC
AVIATION WEEK & SPACE TECHNOLOGY, 1995, 142 (08): : 8 - 8
[6] FROM THE ETHNOLOGICAL POINT-OF-VIEW
OBAYASHI, T
JOURNAL OF THE ANTHROPOLOGICAL SOCIETY OF NIPPON, 1987, 95 (02): : 263 - 263
[7] FROM THE POINT-OF-VIEW OF MARKETING
SCHMITZ, G
FLEISCHWIRTSCHAFT, 1990, 70 (12): : 1397 - &
[8] FROM THE OTHER POINT-OF-VIEW
KOLOMBO, S
CESKOSLOVENSKA PSYCHOLOGIE, 1985, 29 (01): : 89 - 90
[9] CARDIOTOXICITY MECHANISMS FROM THE POINT-OF-VIEW OF PRECLINICAL OR PREMARKETING SAFETY EVALUATION
BALAZS, T
ARCHIVES OF TOXICOLOGY, 1986, : 171 - 177
[10] POINT-OF-VIEW
HERZOG, RJ
SPINE, 1995, 20 (21) : 2366 - 2366

← 1 2 3 4 5 →