Interactive Systems. Design, Specification, and Verification

Volume 5136 of the series Lecture Notes in Computer Science pp 238-251

Executable Models for Human-Computer Interaction

  • Marco BlumendorfAffiliated withDAI-Labor, TU-Berlin
  • , Grzegorz LehmannAffiliated withDAI-Labor, TU-Berlin
  • , Sebastian FeuerstackAffiliated withDAI-Labor, TU-Berlin
  • , Sahin AlbayrakAffiliated withDAI-Labor, TU-Berlin

* Final gross prices may vary according to local VAT.

Get Access


Model-based user interface development is grounded on the idea to utilize models at design time to derive user interfaces from the modeled information. There is however an increasing demand for user interfaces that adapt to the context of use at runtime. The shift from design time to runtime means, that different design decisions are postponed until runtime. Utilizing user interface models at runtime provides a possibility to utilize the same basis of information for these postponed decisions. The approach we are following goes even one step further. Instead of only postponing several design decisions, we aim at the utilization of stateful and executable models at runtime to completely express the user interaction and the user interface logic in a model-based way.


human-computer interaction model-based user interfaces runtime interpretation