High-level executable specification of the universal plug and play architecture

Recently, Microsoft took the lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called the Universal Plug and Play Device Architecture (UPnP). We construct a high-level abstract state machine (ASM) model for UPnP using AsmL. AsmL is an advanced ASM-based executable specification language that has been developed at Microsoft Research. It provides a modern specification environment that is object-oriented and component-based. AsmL is integrated into Microsoft Visual Studio, Word and COM.

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

[2]  Grady Booch,et al.  Essential COM , 1998 .

[3]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[4]  Wolfram Schulte,et al.  Conformance Checking of Components Against Their Non-deterministic Specifications , 2001 .

[5]  Andreas Prinz,et al.  On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine , 2000, Abstract State Machines.

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

[7]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[8]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[9]  Prof. Dr. Robert F. Stärk,et al.  Java and the Java Virtual Machine , 2001, Springer Berlin Heidelberg.

[10]  Margus Veanes,et al.  Toward Industrial Strength Abstract State Machines , 2001 .

[11]  R. Stärk,et al.  Abstract State Machines , 2003, Springer Berlin Heidelberg.

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

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

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

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

[16]  Paul Klint,et al.  Semantics of programming languages: a tool-oriented approach , 1999, SIGP.

[17]  Jan Heering,et al.  Application Software, Domain-Specific Languages, and Language Design Assistants , 2000, ArXiv.

[18]  Egon Börger,et al.  High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.

[19]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.