Title :
Comparing the MVC and PAC architectures: a formal perspective
Author :
Hussey, A. ; Carrington, D.
Author_Institution :
Sch. of Inf. Technol., Queensland Univ., Brisbane, Qld., Australia
fDate :
8/1/1997 12:00:00 AM
Abstract :
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
Keywords :
formal specification; graphical user interfaces; interactive systems; object-oriented programming; software engineering; MVC architecture; Object-Z; PAC architecture; graphical user interfaces; human-computer interface; interacting objects; internal state; model-view-controller architecture; object-oriented architectures; presentation-abstraction-control architecture; software architecture; state operations; user-interface architecture modelling;
Journal_Title :
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
DOI :
10.1049/ip-sen:19971512
