Design, Specification and Verification of Interactive Systems `98: Proceedings of the Eurographics Workshop in Abingdon, U.K., June 3-5, 1998 (Springer Computer Science,)

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems. Front Matter....Pages I-IX Interacting In Chaos....Pages 1-8 The viability of modelling socially organised activity....Pages 9-23 Deriving Business Object Definitions from User Work Process Models....Pages 24-40 Inference and Information Resources: A design case study....Pages 41-56 An Ontology for Task World Models....Pages 57-70 Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control....Pages 71-86 The role of formal proof in modelling interactive behaviour....Pages 87-101 Validating semi-formal specifications of interactors as design representations....Pages 102-116 The role of informal representations in early design....Pages 117-133 Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle....Pages 134-154 The role of verification in interactive systems design....Pages 155-170 Integrating rendering specifications into a formalism for the design of interactive systems....Pages 171-190 Practical Dialogue Refinement....Pages 191-205 Which widgets? Deriving implementations from formal user-interface specifications....Pages 206-224 A framework for generating spatial configurations in user interfaces....Pages 225-241 Using Model Checking for the Automatic Validation of User Interfaces Systems....Pages 242-260 Specification and Verification of Media Constraints using UPPAAL....Pages 261-277 Modelling direct manipulation with Referent and Statecharts....Pages 278-292 Integrating Joint Behaviour and Dialogue Description....Pages 293-308 Discussion topics for the DSV-IS ‘98 working groups....Pages 309-311 Working Group 1 Report....Pages 312-315 Working Group 2 Report....Pages 316-319 Working Group 3 Report....Pages 320-325 Back Matter....Pages 326-326