On the composition of interactor specifications

Authors:
Panos Markopoulos;Jon Rowson;Peter Johnson
Affiliations:
Department of Computer Science, Queen Mary and Westfield College, London;Department of Computer Science, Queen Mary and Westfield College, London;Department of Computer Science, Queen Mary and Westfield College, London
Venue:
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Year:
1996

Citing 7
Cited 1

A cookbook for using the model-view controller user interface paradigm in Smalltalk-80

Journal of Object-Oriented Programming
Specification styles in distributed systems design and verification

TAPSOFT '89 2nd international joint conference on Theory and practice of software development
On the use of LOTOS to describe graphical interaction

HCI'92 Proceedings of the conference on People and computers VII
Unifying views of interactors

AVI '94 Proceedings of the workshop on Advanced visual interfaces
An Object Oriented Interpretation of LOTOS

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Graphical Composition Theorems for Parallel and Hiding Operators

FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Designing the design process: exploiting opportunistic thoughts

Human-Computer Interaction

The Model-Composition Problem in User-Interface Generation

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the composition of interface objects, a concept of direct relevance to user interface software architectures and interface design practice. Composition is discussed formally in the framework of the Abstraction-Display-Controller (ADC) interactor model. The ADC model has been defined as a LOTOS specification template tailored for user interface specification. A transformation of the behaviour expressions describing interactor compositions is defined. The transformation, termed synthesis, maintains the generic structure of the ADC interactor while preserving the meaning of the specification. The correctness of the transformation is proved for several types of compositions. The notion of abstract views of interactors is introduced; it is shown how abstract views may themselves be used as components in composition expressions. Example specification extracts are taken from a case study which was developed to test and improve the ADC interactor model.