Comparing the MVC and PAC architectures: a formal perspective

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.

[1]  John R. Lee,et al.  User Interface Management and Design , 1991, EurographicSeminars.

[2]  Joëlle Coutaz,et al.  Agent-Based Architecture Modelling for Interactive Systems , 1996 .

[3]  Joëlle Coutaz,et al.  MATIS: A multimodal airline travel information system , 1993 .

[4]  Wolfgang Pree,et al.  Design Patterns for Object-Oriented Software Development , 1994, Proceedings of the (19th) International Conference on Software Engineering.

[5]  Adele Goldberg,et al.  SmallTalk 80: The Language , 1989 .

[6]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[7]  M. D. Harrison.  Editorial: The formal specification of interactive systems , 1996 .

[8]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[9]  Edward V. Berard,et al.  Essays on object-oriented software engineering , 1992 .

[10]  Gilbert Cockton,et al.  The architectural bases of design re-use , 1991 .

[11]  Ralph Johnson.  Patterns and frameworks , 1998 .

[12]  Joëlle Coutaz,et al.  PAC, an Object Oriented Model for Dialog Design , 1987 .

[13]  Panos Markopoulos,et al.  On the composition of interactor specifications , 1996 .

[14]  Michael D. Harrison,et al.  Event model of human-system interaction , 1995, Softw. Eng. J..

[15]  P. J. W. ten Hagen,et al.  Concepts, methods, methodologies working group , 1991 .

[16]  Bertrand Meyer,et al.  Technology of Object-Oriented Languages and Systems Tools 5: Proceedings of the Fifth International Conference Tools. Santa Barbara 1991 , 1992 .

[17]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[18]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[19]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[20]  Gregory D. Abowd,et al.  Agents: Communicating interactive processes , 1990, IFIP TC13 International Conference on Human-Computer Interaction.

[21]  Leonard J. Bass,et al.  Developing software for the user interface , 1991, The SEI series in software engineering / Software Engineering Institute.

[22]  Michael D. Harrison,et al.  The user context and formal specification in interactive system design , 1996 .

[23]  Francis Neelamkavil,et al.  Designing the Next Generation of UIMS , 1991 .

[24]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[25]  Michele Marchesi.  Object-oriented programming with smalltalk/V , 1994 .

[26]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[27]  G. E. Pfaff,et al.  User Interface Management Systems , 1985, Eurographic Seminars.

[28]  Paul R. Calder,et al.  Composing user interfaces with InterViews , 1989, Computer.

[29]  Antonio C. Siochi,et al.  The UAN: a user-oriented representation for direct manipulation interface designs , 1990, TOIS.

[30]  Jean-Marc Nerson,et al.  Applying object-oriented analysis and design , 1992, CACM.

[31]  Joëlle Coutaz.  The Construction of User Interfaces and the Object Paradigm , 1987, ECOOP.