Uwe Glässer and Margus Veanes
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.
|Published 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.