Advertisement

An Integrated Programming Environment Based on Hypertext Structures

  • Uwe Schreiweis
  • Horst Langendörfer
Conference paper
Part of the Informatik aktuell book series (INFORMAT)

Abstract

For a long time it has been argued that the right kind of representation can provide insight and understanding for a problem. Believing in the general hypothesis that the limitations of our thoughts are all too often identical with the limits of our imagination and visualization capabilities, we have developed an integrated software engineering environment based on the Prolog programming language.

In the approach described below we are trying to support the development of an integrated Prolog programming environment by the special features of our hypertext system KnowS. Beyond these features are typed links, node classes, and transfer modules allowing dataflow between several components. But a program is not only a static object. To study the details of a program, we really have to see it in operation. Therefore we also provide animation of program execution. We are convinced that our integrated approach of managing sources of different kinds of information, supporting their structuring and the facility to maintain a Prolog program by hypertext nodes and links is an important step to the integration of software engineering environments and hypertext systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Alonso, J. L. Maté, and J. Pazos. Knowledge engineering versus software engineering. Data amp; Knowledge Engineering, 5 (2): 79–91, July 1990.CrossRefGoogle Scholar
  2. 2.
    A. Barr, P. R. Cohen, and E. A. Feigenbaum, editors. The Handbook of Artificial Intelligence, volume 4. Addison-Wesley Publishing Company, Massachusetts, December 1989. ISBN 0-201-51731-0.Google Scholar
  3. 3.
    H.-D. Böcker, G. Fischer, and H. Nieper. The Enhancement of Understanding through Visual Representations. SIGCHI BULLETIN, pages 44–50, New York, April 1986. ACM. ISBN 0-89791-180-6.Google Scholar
  4. 4.
    L. Byrd. Understanding the control flow of Prolog programs. In S. Tarlund, editor, Proceedings of the Logic Programming Workshop, pages 127–138, 1980.Google Scholar
  5. 5.
    W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Heidelberg, second edition, 1984.Google Scholar
  6. 6.
    C. Delrieux, P. Azero, and F. Tohmé. Toward Integrating Imperative and Logic Programming Paradigms: A WYSYWYG approach to PROLOG Programming. ACM SIGPLAN Notices, 26 (3): 35–44, March 1991.CrossRefGoogle Scholar
  7. 7.
    F. DeRemer and H. H. Kron. Programming-in-the-Large Versus Programming-in-the- Small. IEEE Transactions on Software Engineering, 2 (2): 80–86, June 1976.MathSciNetCrossRefGoogle Scholar
  8. 8.
    L. Druffel and R. Little. Software engineering for AI based software products. Data amp; Knowledge Engineering, 5 (2): 93–103, July 1990.CrossRefGoogle Scholar
  9. 9.
    A. Habermann. Engineering large knowledge-based systems. Data amp; Knowledge Engineering, 5 (2): 105–117, July 1990.MathSciNetCrossRefGoogle Scholar
  10. 10.
    H. Langendörfer, U. Schreiweis, and M. Hofmann. Knowledge acquisition with a special hypertext system. In Motoda et al. [12], pages 249–258.Google Scholar
  11. 11.
    M. A. Linton, J. M. Vlissides, and P. R. Calder. Composing User Interfaces with Inter- Views. IEEE Computer, pages 8–22, February 1989.Google Scholar
  12. 12.
    H. Motoda, R. Mizoguchi, J. Boose, and B. Gaines, editors. Proceedings of the First Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop JKAW’90, 3–1 Kanda Nishiki-cho, Chiyoda-ku, Tokyo 101, Japan, October 1990. OHMSHA, LTD.Google Scholar
  13. 13.
    D. T. Sannella and L. A. Wallen. A Calculus For The Construction Of Modular Prolog Programs. The Journal Of Logic Programming, 12(1–2):147–177, January 1992. ISSN 0743-1066.Google Scholar
  14. 14.
    H. A. Simon. The Sciences of the Artificial. MIT Press, Cambridge, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Uwe Schreiweis
    • 1
  • Horst Langendörfer
    • 1
  1. 1.Institut für Betriebssysteme und RechnerverbundTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations