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] Generation of Safety and Liveness Complaint Automata from Goal Model Specifications
    Deb, Novarun
    Roy, Mandira
    Chaki, Nabendu
    Cortesi, Agostino
    2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020), 2020, : 127 - 134
  • [4] From Liveness to "Lifeness": Autopoiesis and an Enactive View of Performance
    Murphy, Maiya
    CONSTRUCTIVIST FOUNDATIONS, 2021, 17 (01): : 70 - 81
  • [5] Safety and liveness for an RBAC/MAC security model
    Phillips, C
    Demurjian, S
    Ting, TC
    DATA AND APPLICATIONS SECURITY XVII: STATUS AND PROSPECTS, 2004, 142 : 316 - 329
  • [6] Safety-Liveness Exclusion in Distributed Computing
    Bushkov, Victor
    Guerraoui, Rachid
    PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2015, : 227 - 236
  • [7] Safety in international security: a view point from the practice of accident investigation
    van Asselt, Marjolein B. A.
    CONTEMPORARY SECURITY POLICY, 2018, 39 (04) : 590 - 600
  • [8] Human Healthcare and Its Pharmacy Component from a Safety Point of View
    Tkachenko, Natalia
    Pankevych, Ostap
    Mahanova, Tamara
    Hromovyk, Bohdan
    Lesyk, Roman
    Lesyk, Lilia
    PHARMACY, 2024, 12 (02)
  • [9] Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
    Eisner, Cindy
    Fisman, Dana
    Havlicek, John
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (02)
  • [10] Liveness Checking as Safety Checking for Infinite State Spaces
    Schuppan, Viktor
    Biere, Armin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (01) : 79 - 96
12345