Contents

• Contents
• List of Figures
• List of Tables
• Abstract
• Introduction
• Distributed Architecture Description Language
  • Overview
  • Backus-Naur Form (BNF) Semantics
  • Conversations
  • Connections
  • Dagent
  • Alphabet
  • Terms
  • Function Term
  • Sentences
  • Conversation Behavior
  • Contract
  • Conversation Options
  • Dagent
  • The Environment
• Using DADL
• Theory
  • The Theorem
  • The Proof Outline
• Examples
  • Simple Client Server
  • Three Tier Client Server
  • Simple email
• Distributed System Foundations
  • Distribution
  • Concurrent
  • No Global State
  • No Global Clock
  • Partial Failures
  • Asynchronous Communication
  • Distributed Control
  • Heterogeneous Systems
  • Autonomy
  • Evolution
  • Opaqueness
  • Openness
  • Interdependent
  • Federation
  • Security
• Current Distributed Architectures
  • Basic Client/Server
  • Three Tiered Client/Server
  • Five Network Placements
  • Publish/Subscribe
  • Mediator
  • Electronic Mail(email)
  • The Web
• Related Work
  • Programs
  • ADLs
  • System Environments
• Glossary
• Acronym Key
• Bibliography