Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25405
Titel: An investigation of the applicability of terminological reasoning to application-independent software-analysis
Verfasser: Peine, Holger
Sprache: Englisch
Erscheinungsjahr: 1992
SWD-Schlagwörter: Künstliche Intelligenz
Freie Schlagwörter: artificial intelligence
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: This work is a first investigation of an observation noted as possibly promising: The problem of application-independent recognition of given elements from the architecture of an unknown software system to be analyzed can be conceived as a special case of the classification problem in a terminological reasoning system if supplied with a suitably defined taxonomy for software-elements. This problem, however, has been solved in certain terminological reasoning systems (TRSs). To the end of investigating this idea, the availability of a TRS was necessary (provided at DFKI by viltlle of the KRIS-system) as well as stating clearly the envisaged application-independent software-elements, followed by a concept taxonomy expressible in KRIS and delivering the desired results. Furthermore, a tool had to be developed to analyze software (i.e ., the source code) and generate the input information for the taxonomy from that. Stating application-independent complete and correct conditions for the role of an element within a software system turned out to be feasible for only a few basic concepts, because software employs at least up to now too few standardized concepts. The translation of the feasible concepts to KRIS resulted in problems of the expressive power of TRSs that were recognized as fundamental. The root of this problem spawned a new language construction for KRIS. Under the assumption of this new construction, a taxonomy of software-elements was formulated. However, as the incorporation of this construct, while recognized as feasible, would exceed the scope of this work and is therefore still to come, it has not been possible so far to test the formulated taxonomy. Hoping this will become possible in the future, the tool for input generation was developed nonetheless. The chosen programming language to be processed is C, as there was an initial tool already available for it. Thus the concluding judgment of this investigation is still to come.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-57308
hdl:20.500.11880/25461
http://dx.doi.org/10.22028/D291-25405
Schriftenreihe: Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098]
Band: 92-13
SciDok-Publikation: 28-Apr-2014
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
D_92_13.pdf30,65 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.