Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/1822018.1822061acmconferencesArticle/Chapter ViewAbstractPublication PageseicsConference Proceedingsconference-collections
poster

Model-driven GUI & interaction design using emulation

Published: 19 June 2010 Publication History

Abstract

This paper introduces a model-driven emulator for the interaction and GUI design of complex interacting systems. It allows systems that are engineered using formal methods and modelling to be tested with users before the final implementation. The user interface requirements are also specified in a formal model, which can be tested manually and automatically as required.

References

[1]
Apple iPhone OS Reference Library: Human Interface Principles: Creating a Great User Interface. November 2009.
[2]
Bertini, E., Catarci, T., Kimani, S. and Dix, A. A Review of Standard Usability Principles in the Context of Mobile Computing. Studies in Communication Sciences, 5,1 (Summer 2005), 111--126.
[3]
Bowen, J. and Reeves, S. Including Design Guidelines in the Formal Specification of Interfaces in Z. In Treharne, H., King, S., Henson, M. and Schneider, S. (eds) ZB2005: Formal Specification and Development in Z and B, LNCS 3455, 454--471. 2005.
[4]
Bowen, J. and Reeves, S. Formal Models for User Interface design artefacts. Innovations in Systems and Software Engineering 4,2, 125--141. Springer 2008.
[5]
Cassandras, C.G. and S. Lafortune: Introduction to Discrete Event Systems, Kluwer, September 1999
[6]
Eisenstein, J. and Vamnderdonckt, J. and Puerta, A. Applying model-based techniques to the development of UIs for mobile computers. Proc. Intelligent User interfaces, IUI '01. ACM, 2001, 69--76.
[7]
Hinze, A., Michel, Y. and Eschner, L. (2009) "Event-based communication for location-based service collaboration." Australasian Database Conference (ADC 2009), Wellington, New Zealand, 127--136.
[8]
Hinze, A., Malik, P., and Malik, R. 2006. Interaction design for a mobile context-aware system using discrete event modelling. Australasian Computer Science Conference, Jan, 2006.
[9]
Hinze, A., Voisard, A. and Buchanan, G. (2009) "TIP: personalizing information delivery in a tourist information system." Journal of Information Technology & Tourism 11(3), 247--264.
[10]
ISO/IEC 13568. Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics. First edition. Prentice-Hall International series in computer science. ISO/IEC 2002.
[11]
1Limbourg, Q. and Vanderdonckt, J. and Michotte, B. and Bouillon, L, and Lopez-Jaquero, V. UsiXML: A Language Supporting Multi-path Development of User Interfaces, IFIP Working Conf. on Engineering for Human-Computer Interaction, 2004.
[12]
Memon, A. An Event-Flow Model to Test EDS, in (ed) Belini, E. Software Engineering and Development, Nova Science Publishers, 2009.
[13]
Michotte, B. and Vanderdonckt, J. GrafiXML, a Multi-target User Interface Builder Based on UsiXML,IEEE ICAS '08: Autonomic and Autonomous Systems (ICAS'08), 2008
[14]
Nielsen, J. Usability 101: Introduction to Usability. at http://www. useit.com/alertbox/, accessed March 2010
[15]
Nokia UI Design Guidelines, Nokia 2009, available at: http://library.forum.nokia.com/index.jsp?topic=/Design_and_User_Experience_Library/GUID-6A035CB2-DEEB-40A1-96A4-81E5F446154A.html
[16]
Puerta, A. and Eisenstein, J. XIML: A common representation for interaction data, IUI '02: Proceedings of the 7th international conference on Intelligent user interfaces, 2002, 214--215, ACM Press.
[17]
Reeve, G. A Refinement Theory for μCharts. PhD Thesis, The University of Waikato, 2005.
[18]
Ramadge, P. J. G. & Wonham,W. M. (1989), The control of discrete event systems, Proc. IEEE 77(1), 81--98.

Cited By

View all
  • (2021)Deep learning-based prototyping of android GUI from hand-drawn mockupsIET Software10.1049/iet-sen.2019.0378Online publication date: 13-Jan-2021
  • (2020)Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile AppsIEEE Transactions on Software Engineering10.1109/TSE.2018.284478846:2(196-221)Online publication date: 1-Feb-2020

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
EICS '10: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
June 2010
390 pages
ISBN:9781450300834
DOI:10.1145/1822018
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 June 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. formal modelling
  2. gui
  3. interaction design
  4. mobile

Qualifiers

  • Poster

Conference

EICS '10
Sponsor:

Acceptance Rates

Overall Acceptance Rate 73 of 299 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)7
  • Downloads (Last 6 weeks)0
Reflects downloads up to 26 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2021)Deep learning-based prototyping of android GUI from hand-drawn mockupsIET Software10.1049/iet-sen.2019.0378Online publication date: 13-Jan-2021
  • (2020)Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile AppsIEEE Transactions on Software Engineering10.1109/TSE.2018.284478846:2(196-221)Online publication date: 1-Feb-2020

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media