Advertisement

Prototypische Implementierung

  • Guido Moerkotte
Chapter
  • 19 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 248)

Zusammenfassung

In diesem Kapitel werde ich über einige Aspekte und Erfahrungen mit der prototypischen Implementierung des Systems berichten. Die wesentlichste Zielsetzung bei der Entwicklung des Prototyps lag im Nachweis der generellen Machbarkeit, d.h., es galt zu zeigen, daß die theoretischen Grundlagen, die in den vorangegangenen Kapiteln erarbeitet wurden, auch in die Praxis, also in ein lauffähiges System, umgesetzt werden können. Es sollte sozusagen nachgewiesen werden, daß der Teufel nicht im technischen Detail steckt. Zum zweiten sollte mit dem Prototyp eine Testumgebung geschaffen werden, mit der sich zukünftige Verbesserungen an Funktionalität und Leistung untersuchen und anhand umfangreicher Fallbeispiele auch Einsatzerfahrung sammeln lassen. Zu den zukünftigen Erkenntnissen sollten schließlich Aussagen über die Benutzerakzeptanz gehören. Aus all diesen Gründen wurde als Testbett die Sprache SKM (Semantic Knowledge Model, [43]) ausgewählt, weil sie eine Anbindung an ein bestehendes größeres Projekt (DEED) erlaubte, in dem man sich unter anderem intensiv mit dem Entwurf von Benutzerschnittstellen für Datenbanken im ingenieurwissenschaftlichen Bereich beschäftigt. Erleichtert wurde die Anbindung dadurch, daß die Sprache SKM ebenfalls logikbasiert ist, denn sie kann in erster Annäherung als eine Einschränkung der Prädikatenlogik erster Ordnung auf zweistellige Prädikate verstanden werden. Während allerdings die hier entwickelte Theorie auf Funktionssymbole verzichtet, sind sie in SKM zunächst zugelassen. Dies führt dazu, daß der im Prototyp implementierte Teil von SKM eine echte Teilmenge ist.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Guido Moerkotte
    • 1
  1. 1.Universität KarlsruheKarlsruhe 1Germany

Personalised recommendations