Harrison M., Massink M. Modelling interactive experience, function and performance in ubiquitous systems. In: Electronic Notes in Theoretical Computer Science, vol. 261 pp. 23 - 42. Special issue: Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009). Elsevier, 2010. |
Abstract (English) |
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. | |
Subject | Interactive systems Model checking Stochastic modelling Ubiquitous computing Human computer interaction D.2.4 Software/Program Verification H.5.3 Group and Organization Interfaces 68N30 Mathematical aspects of software engineering |
![]() |


