Characterizing distributed systems using knowledge-based models: preliminary version

摘要: We study a formal method for comparing distributed systems with respect to their abilities solve various problems. To this end, we introduce knowledge-based propositional modal language axiomatically characterizing and Given specification in the language, show how build Kripke model so that formula is true exactly when it provable using axioms which specify system. The models help us formalize description of global observer's view system effects on our ability compare systems. An example shows two systems, running different protocols, are identical restricted particular set formulas, extracted from problem specification. Under unrestricted view, however, these appear quite different. can generalize comparisons by type graph reduction between establish relationship seemingly dissimilar