Abstract
Agents are becoming increasingly common as a means of structuring interactive systems, due to the highly complex and concurrent nature of modern systems. The manner in which interaction between these agents is specified is of fundamental importance, and must pay heed to expressivity and reuse concerns. There are also concerns specific to interactive systems, and in particular the need to specify and reason about user-system dialogue. We have shown previously that the standard model of object interaction is inadequate with respect to these concerns, and that the action model performs better with respect to these criteria. In this paper these results are drawn together with approaches previously taken in interactive systems. From this basis a schema calculus with interleaving semantics is proposed, which better addresses the concerns of expressivity and reuse in the interactive systems context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. D. Abowd. Formal Aspects of Human-Computer Interaction. DPhil Thesis, University of Oxford Computing Laboratory: Programming Research Group. 1991. Available as Technical Monograph PRG-97.
H. Alexander. Structuring dialogues using CSP. In M. D. Harrison and H. W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 273–295. Cambridge University Press, 1990.
C.J. Bramwell. Formal aspects of the Design Rationale of Interactive Systems. DPhil Thesis, Department of Computer Science, University of York. 1995.
A.M. Dearden and M.D. Harrison. Formalising human error resistance and human error tolerance. In Proceedings of the Fifth International Conference on Human-Machine Interaction and Artificial Intelligence in Aerospace. EURISCO, 1995.
G. Doherty and M.D. Harrison. Reuse in action and event based object oriented systems. Department of Computer Science, University of York, 1998.
D. J. Duke and M.D. Harrison. Abstract interaction objects. Proceedings of Eurographics ‘93, Computer Graphics Forum, 12(3), 1993.
D.J. Duke and M.D. Harrison. Event model of human-system interaction. Software Engineering Journal, 10(1):3–12, 1995.
R. Duke, G. Rose, and G. Smith, Object, Z: A specification language advocated for the description of standards. Computer Standards & Interfaces, 17:511–533, 1995.
B. Fields, N. Merriam, and A. Dearden. DM VIS: Design, Modelling and Validation of Interactive Systems. In M.D. Harrison and J.C. Torres, editors, Proceedings, 4th Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, Springer Computer Science. Springer Wien, 1997.
A. Griffiths. Object-oriented operations have two parts. In D.J. Duke and A.S. Evans, editors, Proceedings of BCS-FACS Northern Formal Methods Workshop, llkley, 1997.
H-M. Järvinen. The design of a specification language for reactive systems. Doctor of technology, Tampere University of Technology, 1992. Available as Tampere University of Technology Report 95.
Jifeng He. Various simulations and refinements. In Volume 430 of Lecture Notes in Computer Science, pages 340–360. Springer Verlag, 1989.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
A. Hussey and D. Carrington. Using Object-Z to specify a web browser interface. In J. Grundy and M. Apperley, editors, OzCHI ‘96 — The Sixth Australian Conference on Computer-Human Interaction, pages 236–243. IEEE Computer Society Press, 1996.
C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1986.
Y. Joung and S. Smolka. A comprehensive study of the complexity of multiparty interaction. Journal of the ACM, 43(1):75–115, January 1996.
H. Mili, F. Mili, and A. Mili. Reusing software: Issues and research directions. IEEE Transactions on Software Engineering, 21(6), June 1995.
J.M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
P. Wright, B. Fields, and M. Harrison. Deriving human-error tolerance requirements from task analysis. In Proceedings, ICRE’94 The First International Conference on Requirements Engineering, Colorado Springs, pages 135–142. IEEE, April 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Wien
About this paper
Cite this paper
Doherty, G., Harrison, M.D. (1998). Integrating Joint Behaviour and Dialogue Description. In: Markopoulos, P., Johnson, P. (eds) Design, Specification and Verification of Interactive Systems ’98. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3693-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3693-5_19
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83212-7
Online ISBN: 978-3-7091-3693-5
eBook Packages: Springer Book Archive