Overview
- Authors:
-
-
Gregor Bochmann
-
Département d’informatique et de recherche opérationnelle, (I.R.O.), Université de Montréal, Faculté des arts et des sciences, Montréal, P.Q, Canada
Access this book
Other ways to access
About this book
This book is written for computer programmers, analysts and scientists, as well as computer science students, as an intro duction to the principles of distributed system design. The emphasis is placed on a clear understanding of the concepts, rather than on details; and the reader will learn about the struc ture of distributed systems, their problems, and approaches to their design and development. The reader should have a basic knowledge of computer systems and be familiar with modular design principles for software development. He should also be aware of present-day remote-access and distributed computer applications. The book consists of three parts which deal with prin ciples of distributed systems, communications architecture and protocols, and formal description techniques. The first part serves as an introduction to the broad meaning of "distributed system". We give examples, try to define terms, and discuss the problems that arise in the context of parallel and distributed processing. The second part presents the typical layered protocol architecture of distributed systems, and discusses problems of compatibility and interworking between heterogeneous computer systems. The principles of the lower layer functions and protocols are explained in some detail, including link layer protocols and network transmission services. The third part deals with specification issues. The role of specifications in the design of distributed systems is explained in general, and formal methods for the specification, analysis and implementation of distributed systems are discussed.
Similar content being viewed by others
Article
Open access
16 August 2016
Table of contents (10 chapters)
-
-
The Nature of Distributed Systems
-
-
-
-
-
Distributed System Architecture and Communication Protocols
-
-
-
-
-
-
Formal Description Techniques
-
Front Matter
Pages 137-137
-
-
-
-
Back Matter
Pages 210-259
Authors and Affiliations
-
Département d’informatique et de recherche opérationnelle, (I.R.O.), Université de Montréal, Faculté des arts et des sciences, Montréal, P.Q, Canada
Gregor Bochmann