Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines
Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines

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.

GlaesserVeanesDIPES02.pdf
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

Type: Inproceedings