论文信息 - 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.

Margus Veanes | Uwe Glässer

[1] Egon Börger,et al. Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .

[2] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[3] Margus Veanes,et al. Universal Plug and Play Machine Models , 2002, DIPES.

[4] Margus Veanes,et al. High-level executable specification of the universal plug and play architecture , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[5] Egon Brger,et al. Formal de nition of an abstract VHDL''''93 simulator by EA - machines , 1995 .

[6] Douglas E. Comer,et al. Internetworking with TCP/IP - Principles, Protocols, and Architectures, Fourth Edition , 1988 .

[7] Yuri Gurevich,et al. Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[8] Andreas Prinz,et al. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models , 2001, Journal of universal computer science (Online).