Open distributed systems

Más información sobre el libro

This work explores the design and analysis of open distributed systems, emphasizing key topics such as the role of standards and the necessity for formal descriptions. It outlines formal methods within the system design process, detailing a model for design and requirements for formal description techniques, along with synthesis and analysis activities. The specification of requirements for open distributed systems is examined, covering architectural concepts, system architectures, and the Basic Reference Model of Open Systems Interconnection. A modular temporal logic tailored for open distributed systems is developed, addressing expressiveness and surveying existing temporal logics. The interaction point concept is introduced, highlighting its significance and properties, along with formal specifications and reasoning about interaction points across various abstraction levels. Communication services are discussed, including design methodologies and specific examples like the modified InRes service. An epistemic logic is proposed, focusing on the role and notions of knowledge within open distributed systems. The application of temporal epistemic logics is illustrated through examples such as mutual exclusion and the drink server. The work concludes with references, theorems, valid formulas, ordering properties for service providers, abbreviations, and notation, providing a comprehensive framework for understanding and an