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