Using Object-Z to Compare the MVC and PAC Architectures

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.

Content

Author and article information

Contributors

Andrew Hussey

David Carrington

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-16

Affiliations

[0001]Software Verification Research Centre

Department of Computer Science, The University of Queensland

Brisbane, Qld, 4072, Australia

Article

DOI: 10.14236/ewic/FAC1996.6

SO-VID: 5cee7d4e-ebd4-4b08-96a4-fad2e9ad9117

Copyright statement: © Andrew Hussey et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Conference acronym: FAC

Conference number:

Conference location: Sheffield Hallam University

Conference date: 10-12 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Aspects of the Human Computer Interface

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FAC1996.6

Self URI (journal page): https://ewic.bcs.org/

Using Object-Z to Compare the MVC and PAC Architectures

Abstract