Iota: A concurrent XML scripting language with applications to Home Area Networking

Iota is a small and simple concurrent language that provides native support for functional XML computation and for typed channelbased communication. It has been designed as a domain-specific language to express device behaviour within the context of Home Area Networking. In this paper we describe Iota, explaining its novel treatment of XML and describing its type system and operational semantics. We give a number of examples including Iota code to program Universal Plug ’n’ Play (UPnP) devices. 1

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[3]  Martín Abadi,et al.  Dynamic typing in a statically-typed language , 1989, POPL '89.

[4]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

[5]  Benjamin C. Pierce,et al.  XDuce: A Typed XML Processing Language (Preliminary Report) , 2000, WebDB.

[6]  Alan F. Blackwell,et al.  AutoHAN: an architecture for programming the home , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[7]  Umar Saif,et al.  Internet Access to a Home Area Network , 2001, IEEE Internet Comput..

[8]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[9]  D. Walker,et al.  A Calculus of Mobile Processes, Part Ii , 1989 .

[10]  Benjamin C. Pierce,et al.  Location-Independent Communication for Mobile Agents: A Two-Level Architecture , 1998, ICCL Workshop: Internet Programming Languages.

[11]  Dongwon Lee,et al.  Comparative analysis of six XML schema languages , 2000, SGMD.