Modelling Interactive Experience, Function and Performance in Ubiquitous Systems

The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the physical environment and the activities that are to be carried out within it. This paper provides an initial exploration of whether stochastic process algebras (in particular PEPA with a Fluid Flow semantics) might be used to explore consequences before deployment. The focus of the exploration is to aid understanding of how a proposed system supports users within the environment. The challenge is to provide notations and techniques that will enable the analysis of potentially complex systems.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Michael D. Harrison, Mieke Massink
• Keywords: ENTCS 2010, Initial Exploration, Particular Pepa, Physical Environment