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.

PDF file

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

Publisher  Kluwer Academic
All copyrights reserved by Kluwer Academic 2007.

Details