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. © 2010 Elsevier B.V. All rights reserved.
Harrison, M. D., & Massink, M. (2010). Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electronic Notes in Theoretical Computer Science, 261(C), 23–42. https://doi.org/10.1016/j.entcs.2010.01.004