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

Author

Glässer, U. ; Gurevich, Y. ; Veanes, M.

Author_Institution

Microsoft Corp., Redmond, WA, USA

fYear

2002

fDate

7-10 Jan. 2002

Firstpage

3686

Lastpage

3695

Abstract

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.

Keywords

formal specification; software architecture; specification languages; AsmL executable specification language; Microsoft COM; Microsoft Universal Plug and Play Architecture; Microsoft Visual Studio; Microsoft Word; PCs; component-based specification environment; high-level abstract state machine model; high-level executable specification; intelligent appliances; object-oriented specification environment; peer-to-peer network connectivity; wireless devices; Documentation; Home appliances; Intelligent networks; Object oriented modeling; Peer to peer computing; Personal communication networks; Plugs; Programming; Specification languages; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on

Print_ISBN

0-7695-1435-9

Type

conf

DOI

10.1109/HICSS.2002.994497

Filename

994497