Discussion Topic 2

The Issue | Related Issues

The Issue

We have seen how Set Theory can be used to model a range of software system scenarios, from basic information management systems to mathematical programs. But can Event-B also handle HCI (Human Computer Issues)?

Visit the Moodle Forum to post your thoughts.

Related Issues

You may want to bring any or all of these topics into your discussion - they are not mandatory, but are here to prompt some of your thinking. Feel free to explore other (related) topics.

Semantics

What do you understand by the term HCI? How might it be captured by an Event-B specification? What things would not be captured?

User Interfaces

Reflect on some of the WIMP (Windows, Icons, Mouse, Pointers) user interfaces you have used (e.g., Microsoft Windows, Mac OS X Aqua, Linux Gnome, etc.) How can Icons and Mouse events be captured? Suggest some possible Event-B events.

Affordances

Affordances are key concepts in HCI. If you haven't come across them before, you might like to read e.g., Wikipedia, to gain an idea of the meaning of the term. Discuss how event guards might encourage and/or discourage the notion of an affordance.

Document History

This page maintained by John Hurst. Copyright Monash University Copyright Policy	358 accesses since 13 Aug 2008
Generated at 20090705:1304 from an XML file modified on 20080924:1222 Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

425 accesses since 13 Aug 2008, HTML cache rendered at 20091123:1300