Enhancing the explanatory power of usability heuristics
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Heuristic evaluation of ambient displays
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Toward a Framework for Evaluating Ubiquitous Computing Applications
IEEE Pervasive Computing
Physical Prototyping with Smart-Its
IEEE Pervasive Computing
Topiary: a tool for prototyping location-enhanced applications
Proceedings of the 17th annual ACM symposium on User interface software and technology
3DSim: rapid prototyping ambient intelligence
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Interactive Systems. Design, Specification, and Verification
Interaction engineering using the IVY tool
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
The APEX framework: prototyping of ubiquitous environments based on Petri nets
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Insights into layout patterns of mobile user interfaces by an automatic analysis of android apps
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
An empirical study on immersive prototyping dimensions
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
A category theory approach to HCI
BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference
| Hi-index | 0.00 |
Ubiquitous computing (ubicomp) systems involve complex interactions between multiple devices and users. This complexity makes it difficult to establish whether: (1) observations made about use are truly representative of all possible interactions; (2) desirable characteristics of the system are true in all possible scenarios. To address these issues, techniques are needed that support an exhaustive analysis of a system's design. This paper demonstrates one such exhaustive analysis technique that supports the early evaluation of alternative designs for ubiquitous computing environments. The technique combines models of behavior within the environment with a virtual world that allows its simulation. The models support checking of properties based on patterns. These patterns help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign. The proposed technique uses APEX, a framework for rapid prototyping of ubiquitous environments based on Petri nets. The approach is illustrated through a smart library example. Its benefits and limitations are discussed.