Modelling Interactive Experience, Function and Performance in Ubiquitous Systems

Electronic Notes in Theoretical Computer Science

Volumn 261, Issue C, 2010, Pages 23-42

  Harrison, Michael D ^a   Massink, Mieke ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

human computer interaction; interactive systems; model checking; stochastic modelling; ubiquitous computing

Indexed keywords

COMPLEX SYSTEMS; FLUID FLOW; INITIAL EXPLORATION; INTERACTIVE SYSTEM; PHYSICAL ENVIRONMENTS; STOCHASTIC MODELLING; STOCHASTIC PROCESS ALGEBRAS; SYSTEM SUPPORTS; UBIQUITOUS SYSTEMS;

COMPLEXATION; FLOW OF FLUIDS; HUMAN COMPUTER INTERACTION; MODEL CHECKING; RANDOM PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

UBIQUITOUS COMPUTING;

EID: 76249088233     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.01.004     Document Type: Article

References (25)

1. M. Buchenau and J.F. Suri. Experience prototyping. In Proceedings Designing Interactive Systems (DIS'00), pages 424-433, Brooklyn, New York, 2000. ACM Press
2. Campos J.C., and Harrison M.D. Model checking interactor specifications. Automated Software Engineering 8 (2001) 275-310
3. Campos J.C., and Harrison M.D. Systematic analysis of control panel interfaces using formal tools. In: Graham N., and Palanque P. (Eds). Interactive systems: Design, Specification and Verification. DSVIS'08. Springer Lecture Notes in Computer Science volume 5136 (2008), Springer-Verlag 72-85
4. Cardelli L. A.D. Gordon. Mobile ambients. In: Nivat M. (Ed). Foundations of Software Science and Computation Structures. Springer Lecture Notes in Computer Science number 1378 (1998), Springer-Verlag 140-155
5. De Nicola R., Ferrari G.L., and Pugliese R. KLAIM a kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 5 (1998) 315-330
6. Degani A. Taming HAL: designing interfaces beyond 2001 (2003), Palgrave Macmillan
7. Dix A., Finlay J., Abowd G., and Beale R. Human Computer Interaction. 3 edition (2004), Pearson Education Ltd.
8. D. Garlan, S. Khersonsky, and J.S. Kim. Model checking publish-subscribe systems. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software (SPIN03), Portland, Oregon, 2003
9. J. Gow and H.W. Thimbleby. MAUI: An interface design tool based on matrix algebra. In R. J. K. Jacob, Q. Limbourg, and J. Vanderdonckt, editors, Computer Aided Design of User Interfaces IV, CADUI' 2004, pages 81-94, 2004
10. M.D. Harrison, M. Massink, and D. Latella. Engineering human flows in smart environments using formal techniques - full version. Technical Report 2009-TR-014, CNR-ISTI, 2009. http://puma.isti.cnr.it/metadata.php?idcode=2009-TR-014&idcol=1&idauth=1&langver=it
11. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of QEST'05, pages 33-43. IEEE Computer Society, 2005
12. Hillston J.A. A compositional approach to performance modelling (1996), Cambridge University Press
13. Holzmann G.J. The SPIN Model Checker, Primer and Reference Manual (2003), Addison Wesley
14. Kray C., Kortuem G., and Krüger A. Adaptive navigation support with public displays. In: Amant R.St., Riedl J., and Jameson A. (Eds). Proceedings of IUI 2005 (2005), ACM Press, New York 326-328
15. Kwiatkowska M., Norman G., and Parker D. PRISM: Probabilistic symbolic model checker. In: Field T., Harrison P.G., Bradley J., and Harder U. (Eds). Computer Performance Evaluation: Modelling Techniques and Tools Proceedings 12th International Conference. TOOLS 2002. Springer Lecture Notes in Computer Science, page number 2324 (2002), Springer-Verlag 200
16. Kwiatkowska M., Norman G., and Parker D. Analysis of a gossip protocol in PRISM. ACM SIGMETRICS Performance Evaluation Review 36 3 (2008) 17-22
17. McBryan T., and Gray P. A model-based approach to supporting configuration in ubiquitous systems. In: Graham N., and Palanque P. (Eds). Interactive systems: Design, Specification and Verification. DSVIS'08. Springer Lecture Notes in Computer Science volume 5136 (2008), Springer-Verlag 167-180
18. McCarthy J., and Wright P.C. Technology as Experience (2004), MIT Press
19. Milner R. Communicating and mobile systems: the pi-calculus (1999), Cambridge University Press
20. Rogers Y. Moving on from Weiser's vision of calm computing: Engaging UbiComp experiences. In: Dourish P., and Friday A. (Eds). Proceedings of Ubicomp 2006. Heidelberg, Berlin (2006), Springer, New York 404-421
21. Rosson M.B., and Carroll J.M. Usability Engineering: scenario-based development of human computer interaction (2002), Morgan Kaufman
22. R. Ruksenas, J. Back, P. Curzon, and A. Blandford. Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing, 2009. DOI: 10.1007/s00165-008-0102-7
23. Rushby J. Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75 2 (February 2002) 167-177
24. Thimbleby H.W. Interaction walkthrough: evaluation of safety critical interactive systems. In: Doherty G., and Blandford A. (Eds). Interactive Systems: Design, Specification and Verification. Springer Lecture Notes in Computer Science number 4323 (2007), Springer-Verlag 52-66
25. Tribastone M. The PEPA plug-in project. In: Harchol-Balter M., Kwiatowska M., and Telek M. (Eds). Proceedings of QEST'07 (2007), IEEE Computer Society Press 53-54