Open Distributed Systems
On Concepts, Methods, and Design from a Logical Point of View
Published on 1. January 1993
Book
Paperback/Softback
XVII, 230 pages
978-3-528-05358-1 (ISBN)
Description
This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of open systems interconnection (OSI), which are currently the most important standardization activities in the context of open distributed systems, can be obtained by specialization and extension of these basic concepts. Application examples include the formal treatment of the interaction point concept and the hierarchical development of communication systems. This book is a contribution to the field of software engineering in general and to the design of open distributed systems in particular. It is oriented towards the design and implementation of real systems, and brings together both formal logical reasoning and current software engineering practice.
More details
Series
Edition
1993
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Professional and scholarly
Research
Illustrations
6 s/w Abbildungen
XVII, 230 S. 6 Abb.
Dimensions
Height: 210 mm
Width: 148 mm
Thickness: 14 mm
Weight
331 gr
ISBN-13
978-3-528-05358-1 (9783528053581)
DOI
10.1007/978-3-322-86009-5
Schweitzer Classification
Other editions
Additional editions
Reinhard Gotzhein
Open Distributed Systems
On Concepts, Methods, and Design from a Logical Point of View
E-Book
03/2013
Vieweg+Teubner Verlag
€42.99
Available for download
Content
0 Introduction.- 0.1 Key topics of open distributed systems design.- 0.2 The role of standards.- 0.3 The need for formal descriptions.- 0.4 Distributed systems from the point of view of DAI.- 1 Formal methods in the system design process.- 1.1 A model for the system design process.- 1.2 Requirements for formal description techniques.- 1.3 Synthesis and analysis activities.- 2 Requirement specification of open distributed systems.- 2.1 Basic architectural concepts.- 2.2 System architectures.- 2.3 Refinement and abstraction.- 2.4 The Basic Reference Model of Open Systems Interconnection.- 2.5 Basic concepts of formal description techniques.- 2.6 Some remarks.- 3 The design of a temporal logic for open distributed systems.- 3.1 Some requirements on expressiveness.- 3.2 A survey of temporal logics.- 3.3 A modular temporal logic for open distributed systems.- 4 The interaction point concept.- 4.1 The role of interaction points.- 4.2 A list of possible interaction point properties.- 4.3 Formal specification of interaction point properties.- 4.4 Formal reasoning about interaction points.- 4.5 Interaction point representations in operational FDTs.- 4.6 Conformance between abstraction levels via the interaction point concept.- 5 Communication services.- 5.1 The service concept.- 5.2 Design methodology.- 5.3 Example "modified InRes service".- 5.4 Conclusion.- 6 An epistemic logic for open distributed systems.- 6.1 The role of knowledge.- 6.2 Notions of knowledge.- 6.3 A modular epistemic logic for open distributed systems.- 7 Applying temporal epistemic logics to open distributed systems.- 7.1 Example "mutual exclusion".- 7.2 Example "drink server".- 8 Conclusion.- References.- A.1 Theorems and valid formulas.- A.2 Ordering properties for the service provider.- A.3Abbreviations.- A.4 Notation.