Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
An Abstract Communication Model

Uwe Glässer, Yuri Gurevich, and Margus Veanes


We present an abstract communication model. The model is quite general even though it was developed in the process of specifying a particular network architecture, namely the Universal Plug and Play (UPnP) architecture. The generality of the model has been confirmed by its reuse for different architectures. The model is based on distributed abstract state machines and implemented in the specification language AsmL.


Publication typeTechReport
InstitutionMicrosoft Research

Newer versions

Uwe Glässer, Yuri Gurevich, and Margus Veanes. Abstract Communication Model for Distributed Systems, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, IEEE Computer Society, July 2004.

> Publications > An Abstract Communication Model