Object-oriented architectures for graphical user interfaces (GUIs) model the interface as a composition of interacting objects that 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). Object-Z is used to describe the MVC and PAC architectures. The characteristics of the architectures are compared and the efficacy of Object-Z as a tool for modelling user-interface architectures is considered.
['Andrew Hussey', 'David A. Carrington']
Comparing the MVC and PAC architectures: a formal perspective