Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    On the Composition of Interactor Specifications

    BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

    Sheffield, UK. 10th - 12th September 1996


    P. Markopoulos, J. Rowson & P. Johnson


    This paper discusses the composition of interface objects, a concept of direct relevance to user interface software architectures and interface design practice.

    Composition is discussed formally in the framework of the Abstraction-Display-Controller (ADC) interactor model.

    The ADC model has been defined as a LOTOS specification template tailored for user interface specification.

    A transformation of the behaviour expressions describing interactor compositions is defined. The transformation, termed synthesis, maintains the generic structure of the ADC interactor while preserving the meaning of the specification.

    The correctness of the transformation is proved for several types of compositions. The notion of abstract views of interactors is introduced; it is shown how abstract views may themselves be used as components in composition expressions.

    Example specification extracts are taken from a case study which was developed to test and improve the ADC interactor model.


    PDF filePDF Version of this Paper (209kb)