Portal de Periódicos da CAPES

Universal Plug and Play Machine Models

2002; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-0-387-35599-3_3

1868-422X

Uwe Glässer, Margus Veanes,

Distributed systems and fault tolerance

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.