Abstract
In this paper, an approach to specify interactive systems by modeling user actions and domain knowledge is presented. It is shown how Description Logics can be used to formally deduce action concepts at system development time when only incomplete conceptual descriptions of manipulated domain objects are known. We will discuss how types of parameters and values of application functions will be constrained by concepts for user actions which are either automatically derived or interactively selected by the UI designer.
Chapter PDF
Bibliography
Arens, Y., Hovy, E.H., van Mulken, S., Structure and Rules in Automated Multimedia Presentation Planning, in Proceedings IJCAI’93, August 1993.
Bateman, J.A., Kasper, R.T., Moore, J.D., Whitney, R.A., A General Organization of Knowledge for Natural Language Processing: the Penman Upper Model, ISI-Report, March, 1990.
Fischer, G., Nakakoji, K., Empowering Designers with Integrated Design Environments, in Proceedings of the First International Conference on Artificial Intelligence in Design, Royal Museum of Scotland, Edinburg, 1992.
Fischer, G., McCall, R., Ostwald, J., Reeves, J., Shipman, F., Seeding, Evolutionary Growth and Reseedings: Supporting the Incremental Development of Design Environments, in Proceedings CHI’94 Human Factors in Computing Systems, ACM Press, 1994, pp. 292–298.
Foley, J.D., Sukaviriya, P.N., History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-Based System for User Interface Design and Implementation, in Interactive Systems: Design, Specification, and Verification, 1st Eurographics Workshop, (ed. Patemó, F.), June 1994, Springer, 1995, pp. 3–14.
Hartson, H.R., Siochi, A.C., Hix, D., The UAN: A User-Oriented Representation for Direct-Manipulation Interface Design, in ACM Transactions on Information Systems, Vol. 8, Nr. 3, July 1990, pp. 181–203.
Hartson, H.R., Mayo, K.A., A Framework for Precise, Reusable Task Abstraction, in Interactive Systems: Design, Specification, and Verification, 1st Eurographics Workshop (ed. Paternó, F.), June 1994, Springer, 1995, pp. 279–297.
Johnson, P., Wilson, S., Johnson, H., Scenarios, Task Analysis and The ADEPT Design Environment, in Scenario-Based Design (ed. Carroll, J.), Addison-Wesley, 1995.
Kopisch, M., Günter, A., Configuration of a Passenger Aircraft Cabin Based on a Conceptual Hierarchy, Constraints and Flexible Control, in Proceedings IEA/AIE-92 Industrial and Engineering Application of Artificial Intelligence and Expert Systems (eds. Belli, F., Radermacher, F.J.), Springer, 1992, pp. 421–430.
Möller, R., HAMVIS: Generation of Visualizations in a Framework for User Interface Development, in German, Dissertation, University of Hamburg, 1996.
Neches, R., Foley, J., Szekely, P., Sukaviriya, P., Luo, P., Kovacevic, S., Hudson, S., Knowledgeable Development Environments Using Shared Design Models, in Proc. ACM/AAAI International Workshop on Intelligent User Interfaces, Jan., 1993.
Patel-Schneider, P.F., Swartout, B., Description Logic Specification from the KRSS Effort, http://ksl.stanford.edu:/pub/knowledge-sharing/papers/dl-spec.ps, 1993.
Philips, M.D., Bashinski, H.S., Ammerman, H.L., Fligg, C.M., A Task Analytic Approach to Dialog Design, in Handbook of Human-Computer Interaction (ed. Helander, M.), Elsevier Science Publishers, B.V. (North Holland), 1988, pp. 835–857.
Puerta, A.R., Eriksson, H., Gennari, J.H., Musen, M., Beyond Data Models for Automated User Interface Generation, in People and Computer IX, Proceedings of HCI’94 (ed. Cockton, G., Draper, S.W., Weir, G.R.S.), Glasgow, August 1994, pp. 353–366.
Resnick, L.A., Borgida, A., Brachman, R.J., McGuiness, D.L., Patel-Schneider, P.F., Zalondek, K.C., CLASSIC Description and Reference Manual for the Common Lisp Implementation, Version 2. 2, 1993.
Szekely, P., Luo, P., Neches, R., Beyond Interface Builders: Model-Based Interface Tools, in Proceedings of INTERCHI’93, April 1993, pp. 383–390.
Wahlster, W., André, E., Finkler, W., Profitlich, H.-J., Rist, T., Plan-Based Integration of Natural Language and Graphics Generation, Artificial Intelligence, 63, 1993, pp. 387–427.
Winston, M.E., Chaffin, R., Herrman, D., A Taxonomy of Part-Whole Relations, Cognitive Science, 11, 1987, pp. 417–444.
Woods, W.A., Schmolze, J.G., The KL-ONE Family, in Semantic Networks in Artificial Intelligence (ed. Lehmann, F.), Pergamon Press, 1992, pp. 133–177.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Möller, R. (1996). Reasoning about domain knowledge and user actions for interactive systems development. In: Sutcliffe, A., Benyon, D., van Assche, F. (eds) Domain Knowledge for Interactive System Design. IS&O 1996. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35059-2_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35059-2_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2891-9
Online ISBN: 978-0-387-35059-2
eBook Packages: Springer Book Archive