Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines

Uwe Glässer; Margus Veanes

Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines

Uwe Glässer ,
Margus Veanes

Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002

Published by Kluwer Academic

Download BibTex

We present a high-level executable specification for the Universal Plug and Play (UPnP) standard illustrating the use of Abstract State Machine (ASM) technology as a practical tool for applied systems engineering. The concept of distributed real-time ASM allows us to combine both synchronous and asynchronous execution models in one uniform model of computation.