Regisztráció és bejelentkezés

Informatikai modellépítés interaktív támogatása

Bármely informatikai rendszer kidolgozásának első lépcsője az alkalmazást befoglaló környezet megismerése és a felhasználói követelmények felmérése. Tipikusan mind a környezetről, mind pedig a követelményekről szóló információ csak a végfelhasználónál létezik, gyakran egyáltalán nem dokumentált formában. Ezen rejtett informális tudás kinyerése és egzakt megfogalmazása egyike a legnehezebb feladatoknak. A dolgozat ezért olyan módszereket keres, amelyek könnyen érthetőek azért, hogy a rendszertervező interaktívan feltárhassa az esetenként nem informatikus végfelhasználó tudását, ugyanakkor lehetőséget teremt arra, hogy a modellvezérelt tervezés által megkívánt szabatosságú, induló modell jöhessen létre.

A dolgozat a tárgyterületi szakértő végfelhasználó és a rendszertervező közötti kommunikációs szakadék áthidalására keres megoldást.

A tárgyterületi szakértő rendszertervezési szaktudás hiányában nem tud pontos, szabatos specifikációt adni a rendszertervező számára. A rendszertervező pedig tárgyterületi szaktudás hiányában nem tudja szakmailag megállapítani a rendszer helyes működésének követelményeit.

A dolgozat bemutatja, hogy a tárgyterületi szakértő tudásából milyen technológiák és eszközök használatával lehet szabatos, a rendszertervező és a tárgyterületi szakértő által egyaránt ellenőrizhető formális specifikációt kinyerni.

A tudás kinyeréshez leggyakrabban használt vizuális tudásbázis építő eszköz a gondolattérkép (mind map) és a fogalomtérkép (concept map). A grafikusan felépített tudásbázis esetén fontos szempont a formális környezetbe történő átvezetés lehetősége, ezáltal egy formalizált, tudásbázis jön létre, amelyen ellenőrizhető többek között az ellentmondás-mentesség, vagy a teljesség is. A dolgozatban a formális környezetet az ontológia biztosítja.

A feladat megvalósításának fő alkotóeleme az ontológia és a szemantikus tudásbázis közötti kapcsolat meghatározása, vagyis annak a vizsgálata, hogy a grafikusan felépített tudásbázis jelentése garantáltan megegyezik-e a grafikus tudásbázisból generált ontológiában szereplő tudásbázis jelentésével.

A TDK dolgozat az informális és formális technológiák segítségével felépített tudásbázisok egyezőségét vizsgálja, valamint bemutatja a szemantikus tudásbázis és az ontológia közötti leképezés lehetőségét, és belátja a leképezés helyességét, vagyis azt, hogy az informálisan felírt tartalom jelentése azonos a formálisan felírt tartalommal.

szerző

  • Tasi Katalin
    mérnök informatikus
    nappali

konzulens

  • Dr. Pataricza András
    egyetemi tanár, Méréstechnika és Információs Rendszerek Tanszék