Designing the user interface: strategies for effective human-computer interaction
Designing the user interface: strategies for effective human-computer interaction
A virtual protocol model for computer-human interaction
International Journal of Man-Machine Studies
A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Layered protocols for computer-human dialogue. 1: principles
International Journal of Man-Machine Studies - Special Issue: Multimodal Computer-Human Interaction
Layered protocols for computer-human dialogue. 11: some practical issues
International Journal of Man-Machine Studies - Special Issue: Multimodal Computer-Human Interaction
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
The SGML handbook
Lessons learned from SUIT, the simple user interface toolkit
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
sendmail
IDLE: unified W3-access to interactive information servers
Proceedings of the Third International World-Wide Web conference on Technology, tools and applications
Hypermedia and cognition: designing for comprehension
Communications of the ACM
Natural language processing for information retrieval
Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
IEEE Transactions on Software Engineering
Modeling and optimization of hierarchical synchronous circuits
EDTC '95 Proceedings of the 1995 European conference on Design and Test
| Hi-index | 0.00 |
Volumes of information available from network information services have been increasing considerably in recent years. Users' satisfaction with an information service depends very much on the quality of the network information retrieval (NIR) system used to retrieve information. The construction of such a system involves two major development areas: user interface design and the implementation of NIR protocols.In this paper we describe and discuss the possibilities of using formal methods of protocol converter design to construct the part of an NIR system client that deals with network communication. If this approach is practicable it can make implementation of NIR protocols more reliable and amenable to automation than traditional designs using general purpose programming languages. This will enable easy implementation of new NIR protocols custom-tailored to specialized NIR services, while the user interface remains the same for all these services.Based on a simple example of implementing the Gopher protocol client we conclude that the known formal methods of protocol converter design are generally not directly applicable for our approach. However, they could be used under certain circumstances when supplemented with other techniques which we propose in the discussion.