Abstract:
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications[24]. To specify more powerful systems, designers need multiple specialized modeling notations[17, 19]. The model composition problem is concerned with automatically deriving powerful, correct, and efficient user interfaces from multiple models specified in different notations. Solutions balance the advantages of separating code generation into specialized code generators with deep, model-specific knowledge against the correctness and efficiency obstacles that result from such separation. We present a solution that maximizes the advantage of separating code generation. In our approach, highly specialized, model-specific code generators synthesize run-time modules from individual models. We address the correctness and efficiency obstacles by formalizing composition mechanisms that code generators may assume and that are guaranteed by a run-time inf...
Citations
|
497
|
A Cookbook for Using Model-View-Controller User Interface Paradigm
– Krasner, Pope
- 1988
|
|
478
|
On Visual Formalisms
– Harel
- 1988
|
|
357
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1987
|
|
193
|
et al. Object-Oriented Modeling and Design
– Rumbaugh
- 1991
|
|
113
|
Conjunction as composition
– Zave, Jackson
- 1993
|
|
94
|
Survey on user interface programming
– Myers, Rosson
- 1992
|
|
86
|
Beyond Interface Builders: Model-Based Interface Tools
– Szekely, Luo, et al.
- 1993
|
|
55
|
The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development
– Puerta
- 1996
|
|
52
|
Developing Software for the User Interface
– Bass, Coutaz
- 1991
|
|
35
|
Formal aspects of human-computer interaction
– Abowd
- 1991
|
|
27
|
an Implemention Model for Dialog Design
– PAC
- 1987
|
|
20
|
Declarative models of presentation
– Castells, Szekely, et al.
- 1997
|
|
16
|
Validating interactive system design through the verification of formal task and system models
– Palanque, Bastide, et al.
- 1995
|
|
15
|
Structuring dialogues using CSP
– Alexander
- 1990
|
|
9
|
Automatic Generation of Interactive Systems from Declarative Models
– Stirewalt
- 1997
|
|
7
|
et al. The Amulet environment: New models for effective user-interface software development
– Myers
- 1997
|
|
6
|
et al. Using declarative descriptions to model user interfaces with MASTERMIND
– Browne
- 1997
|
|
5
|
et al. Knowledgeable development environments using shared design models
– Neches
- 1993
|
|
2
|
et al. Declarative models for user-interface construction tools: the MASTERMIND approach
– Szekely
- 1996
|