Using object-Z to compare the MVC and PAC architectures

Authors:
Andrew Hussey;David Carrington
Affiliations:
Software Verification Research Centre, Department of Computer Science, The University of Queensland, Brisbane, Qld, Australia;Software Verification Research Centre, Department of Computer Science, The University of Queensland, Brisbane, Qld, Australia
Venue:
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Year:
1996

Citing 13
Cited 0

The construction of user interfaces and the object paradigm

European conference on object-oriented programming on ECOOP '87
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80

Journal of Object-Oriented Programming
Composing User Interfaces with InterViews

Computer
The Z notation: a reference manual

The Z notation: a reference manual
Applying object-oriented analysis and design

Communications of the ACM - Special issue on analysis and modeling in software development
The architectural bases of design re-use

UIMS Proceedings of the workshop on user interface management systems and environments on User interface management and design
Designing the next generation of UIMSs

UIMS Proceedings of the workshop on user interface management systems and environments on User interface management and design
A framework for integrating UIMS and user task models in the design of user interfaces

UIMS Proceedings of the workshop on user interface management systems and environments on User interface management and design
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The art and science of Smalltalk

The art and science of Smalltalk
Object-Oriented Programming with Smalltalk/V

Object-Oriented Programming with Smalltalk/V
Developing Software for the User Interface

Developing Software for the User Interface
Agents: Communicating interactive processes

INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.