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

    Using Object-Z to Compare the MVC and PAC Architectures

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

    Sheffield, UK. 10th - 12th September 1996


    A. Hussey & D. Carrington


    Object-oriented architectures for Graphical User Interfaces (GUI's) model the interface as a composition of interacting objects which each present an internal state to the user and provide operations on that state.

    Two such architectures are Model-View-Controller (MVC) and Presentation-Abstraction-Control (PAC).

    We use Object-Z to describe examples of the MVC and PAC architectures.

    We compare the characteristics of the architectures and consider the efficacy of Object-Z as a tool for modelling user-interface architectures.


    PDF filePDF Version of this Paper (177kb)