Abstract
Modelling human-computer interaction in interactive computer systems through languages is one the of main approaches for the construction of human-computer interfaces. The work presented here describes first how Definite Clause Grammars can be used to formally specify this type of languages. Compared with previous work using BNF etc, this formalism has more expressive power and is easier for rapid prototyping. With this modelling, the user-machine dialogue design becomes a DCG specification process, and the dialogue management becomes a parsing problem. Detailed examples and our experiences are given to demonstrate the interest of such a modelling.
Work partially supported by EEC Esprit ALPES project (No.973): Advanced Logic Programming Environments.
Preview
Unable to display preview. Download preview PDF.
7. Bibliography
Bergère M., C. Gresse, M. Teguia, W. Dang, "Browser for logic Programming Environment", 4th international conference on software engineering, Toulouse, France, December, 1988.
Browne D.P; "The formal Specification of Adaptive User Interfaces Using Command Language Grammar", Proc. of CHI'86 Conf., Boston, April 1986.
Buxton W., Lamb M.R., Sherman D., Smith K.C.; "Towards a comprehensive user interface management systems". Computer Graphics, 17, 3 1983, pp 35–42
Clocksin W.F., C.S. Mellish, "Programming in Prolog", Springer Verlag, 1981.
Dang W. and Hentinger J., "Advanced logic programming environment", Proceedings of 1988 European Conference and exposition of Sun user, March 1988, Versailles, France.
Green M.; "The University of Alberta User Interface Management System", SIGGRAPH 85 Conference Proceedings, San Fransisco July 22–26, Computer Graphics, 19, 3, 1985, pp 205–213
Jacob R.J.K.; "Using Foraml Specification in the Design of a Human-Computer Interface", CACM Vol. 26, No.4, April 1983.
Michard A.; "Le Système Graphique ASH-Prolog et son Utilisation Pour le Prototypage Rapide d'Interface Homme-Machine", RT-076 INRIA, 1986.
Olsen D.R.; Dempsey E.P.; "SYNGRAPH: A Graphical User Interface Generator", Computer Graphics, 17,3,1983, pp 43–50
Pato J.N., Reiss S.P., Brown M.H.; "The Brown Workstation Environment", Dept of Comp. Sc., Brown University, Providence, 1984
Pelhat S.; "Analyse de l'inférence récursive en Prolog: le système d'aide à la détection et au controle de boucles", Thèse de Doctorat 3ème cycle, Université de Paris sud, Oct. 1987.
Pereira F.C.N., Wareen D.H.D.; "Definite Clause Grammars for Language Analysis — A survey of Formalism and a Comparison with Augmented Transition Networks", Artificial Intelligence, 13, 1980, pp231–278.
Reisner P.; "Formal Grammar and Human Factors Design of an Interactive Graphics System", IEEE Tran. on Soft. Engi., Vol. SE-7, No.2, March 1981.
Roach, J.W., Nickson M.; "Formal Specification For Modelling And Developing Human-Computer Interfaces", Proc. CHI'83 Conf. Boston, Dec. 1983.
Sibert J.L. et al.; "An Object-Oriented User Interface Management System", Sigraph'86, Vol.20, No.4, Dallas, August 1986, pp259–268.
Takeuchi A., Furukawa K.; "Partial Evaluation of Prolog Prolgrams And Its Application To Meta Programming", IFIP, 1986, pp415–420.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dang, W. (1989). Formal specification of interactive languages using definite clause grammars. In: Deransart, P., Lorho, B., Małuszyński, J. (eds) Programming Languages Implementation and Logic Programming. PLILP 1988. Lecture Notes in Computer Science, vol 348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50820-1_53
Download citation
DOI: https://doi.org/10.1007/3-540-50820-1_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50820-5
Online ISBN: 978-3-540-46092-3
eBook Packages: Springer Book Archive