Ebook: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.

---

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.

---

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Content:
Front Matter....Pages I-X
Front Matter....Pages 1-1
History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation....Pages 3-14
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge....Pages 15-49
Users....Pages 51-55
Role of Formalisms....Pages 57-60
Role of Development Environments....Pages 61-73
Front Matter....Pages 75-75
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype....Pages 77-94
Modeling and Analyzing Human-Computer Dialogues with Protocols....Pages 95-116
Bridging the Gap from Conceptual Design to Software Design....Pages 117-127
A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation....Pages 129-147
A Tool-Supported Approach to the Refinement of Interactive Systems....Pages 149-159
The BOSS System: Coupling Visual Programming with Model Based Interface Design....Pages 161-179
A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge....Pages 181-197
Object-Oriented Modelling and Specification for User Interface Design....Pages 199-231
Front Matter....Pages 233-233
Why Are Analogue Graphics and Natural Language Both Needed in HCI?....Pages 235-251
Modelling Interactive Systems and Providing Task Relevant Information....Pages 253-266
The Requirements Engineering of User Freedom....Pages 267-277
A Framework for Precise, Reusable Task Abstractions....Pages 279-297
Front Matter....Pages 299-299
Modelling Interaction Properties for Interactive Case Memories....Pages 301-316
LADA — A Logic for the Analysis of Distributed Actions....Pages 317-332
Folding Human Factors Into Rigorous Development....Pages 333-347
Front Matter....Pages 299-299
Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices....Pages 349-367
Grammar-based Formal Specification for the Object-Oriented User Interface Development....Pages 369-382
Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism....Pages 383-400
User Centred System Modelling Using the Template Model....Pages 401-412
Understanding Direct Manipulation Interaction Algebraically....Pages 413-428
Using an Abstract Model for the Formal Specification of Interactive Graphic Systems....Pages 429-444
Back Matter....Pages 445-453

---

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Content:
Front Matter....Pages I-X
Front Matter....Pages 1-1
History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation....Pages 3-14
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge....Pages 15-49
Users....Pages 51-55
Role of Formalisms....Pages 57-60
Role of Development Environments....Pages 61-73
Front Matter....Pages 75-75
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype....Pages 77-94
Modeling and Analyzing Human-Computer Dialogues with Protocols....Pages 95-116
Bridging the Gap from Conceptual Design to Software Design....Pages 117-127
A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation....Pages 129-147
A Tool-Supported Approach to the Refinement of Interactive Systems....Pages 149-159
The BOSS System: Coupling Visual Programming with Model Based Interface Design....Pages 161-179
A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge....Pages 181-197
Object-Oriented Modelling and Specification for User Interface Design....Pages 199-231
Front Matter....Pages 233-233
Why Are Analogue Graphics and Natural Language Both Needed in HCI?....Pages 235-251
Modelling Interactive Systems and Providing Task Relevant Information....Pages 253-266
The Requirements Engineering of User Freedom....Pages 267-277
A Framework for Precise, Reusable Task Abstractions....Pages 279-297
Front Matter....Pages 299-299
Modelling Interaction Properties for Interactive Case Memories....Pages 301-316
LADA — A Logic for the Analysis of Distributed Actions....Pages 317-332
Folding Human Factors Into Rigorous Development....Pages 333-347
Front Matter....Pages 299-299
Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices....Pages 349-367
Grammar-based Formal Specification for the Object-Oriented User Interface Development....Pages 369-382
Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism....Pages 383-400
User Centred System Modelling Using the Template Model....Pages 401-412
Understanding Direct Manipulation Interaction Algebraically....Pages 413-428
Using an Abstract Model for the Formal Specification of Interactive Graphic Systems....Pages 429-444
Back Matter....Pages 445-453
....