Embedded Interactive Systems (EIS), Computing Department, Lancaster University

A Top-Down Approach to Writing Software for Networked Ubiquitous Systems

First implementations of ubiquitous computing systems have shown promising results for a business environment. By integrating computing resources into real physical objects we can move the execution or monitoring of business processes closer to where the actual process happens. This can reduce cost and reaction time. Despite this promise there is a lack of standardised protocols. This makes it difficult for an application developer to implement business applications on top of a given network. We argue that a top-down approach to writing applications is useful. We propose a high-level language that can specify a ubiquitous network's global behaviour. A compiler can automatically generate devicelevel executables from this global specification.