Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

    Belépés
    címtáras azonosítással

    vissza a tantárgylistához   nyomtatható verzió    

    Szemantikus alapú szoftverrendszerek

    A tantárgy angol neve: Semantic Software Systems

    Adatlap utolsó módosítása: 2008. április 29.

    Tantárgy lejárati dátuma: 2009. november 24.

    Budapesti Műszaki és Gazdaságtudományi Egyetem
    Villamosmérnöki és Informatikai Kar

    Informatika Szak

    BSc. képzés 

    Választható

    Tantárgykód Szemeszter Követelmények Kredit Tantárgyfélév
    VIAUAV75   2/0/0/f 2  
    3. A tantárgyfelelős személy és tanszék Dr. Levendovszky Tihamér,
    4. A tantárgy előadója
    Név:

     

    Beosztás:

     

    Tanszék, Int.:

     

    Dr. Tilly Károly

     

    Ügyvivő szakértő

     

    Külső szakértő

    Dr. Levendovszky Tihamér

     

    Adjunktus

     

    Automatizálási és Alkalmazott Informatikai Tanszék

     

    5. A tantárgy az alábbi témakörök ismeretére épít

    Programozási nyelvek, adatbáziskezelés, web rendszerek, szoftverfejlesztési technológiák alapjai.

    6. Előtanulmányi rend
    Kötelező:
    NEM
    ( KépzésLétezik( ahol a KépzésKód = "5N-07")
    VAGY
    KépzésLétezik( ahol a KépzésKód = "5N-A7")
    VAGY
    KépzésLétezik( ahol a KépzésKód = "5N-M7") )

    A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.

    A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.

    7. A tantárgy célkitűzése

    Összetett szofverrendszerek egyszerű és hatékony fejlesztésének kulcsa a tapasztalatok szerint a rendszert alkotó elemek tulajdonságait leíró magasszintű, ún. szemantikus információk tárolása és automatikus felhasználása.  A szemantika, vagyis a szimbólumokhoz kapcsolódó jelentés, a legújabb szoftverfejlesztési módszerek alapja.  A szemantikus alapú szoftverrendszerek komoly előnyöket kínálnak, többek között az automatikus, igény szerinti tartalomintegráció, a testre szabható, automatikusan generálható egyedi alkalmazások, vagy az újrafelhasználható komponensekből a felhasználó által közvetlenül összeállítható szoftverrendszerek terén.  A tárgy célja a komplex szoftverrendszerek fejlesztésében alkalmazott legfontosabb szemantikus alapú elvek, technikák, módszerek, nyelvek, architektúrák és szabványok bemutatása, illetve ezek helyének, szerepének és egymáshoz való viszonyának tisztázása a szoftverfejlesztési technológiák körén belül.

    8. A tantárgy részletes tematikája

    A tárgy oktatása alapvetően előadások formájában történik.

    A tárgy az alábbi témaköröket tárgyalja részletesen:

    -         A szemantika fogalma.  A szemantika és szintaktika kapcsolata.

    -         Szoftverrendszerek fejlesztésének szemantikus alapú módszerei: szakterület elemzés (domain analysis), generikus és generatív programozás, szolgáltatás alapú rendszerek, szemantikus kezelői felületek.  Alkalmazáscsaládok, újrafelhasználhatóság, szoftverek „sorozatgyártása”.

    -         Szemantikus információk adat szintű gépi ábrázolása:

    o       Szabály bázisok, szemantikus hálók, taxonómiák, ontológiák.

    o       Példák: CYC, Dublin core, WordNet, egyszerű ontológia szerkesztése Protége környezetben.

    o       Szematikus információk XML alapú leírása, a szemantikus web alapjai és a hozzá kapcsolódó fontosabb szabványok

    -         Szemantikus információk nyelvi szintű gépi ábrázolása:

    o       Szakterület (domain) függő nyelvek.  Példák, utalás szinten: SQL, OWL, MatLab

    o       Generatív programozás.  Visszatükrözés (reflection).  A metaprogramozás alapjai.  Modell alapú architektúrák és modell transzformációk.

    o       Példák: MDA, AspectJ, C++ Standard Template Library, Java Reflection API

    -         Szemantikus kezelői felületek: adatszintű és nyelvi szintű szemantikus információk integrálása:

    o       A kezelői felület mint dokumentum.  A felhasználó mint alkalmazásfejlesztő.  A kezelői felület szemantikus leválasztásának előnyei és módszerei.

    o       Szemantikus kezelői felület alapú alkalmazások architekturális elemei és fejlesztése.

    o       Szemantikus kezelői felületek alapelemei és nyelvi leírása.

    o       Szakterületfüggő ontológiák szerkezete szemantikus kezelői felületekben.

    9. A tantárgy oktatásának módja (előadás, gyakorlat, laboratórium)

    Előadás

    10. Követelmények a.      A hallgatók a szorgalmi időszakban 1 alkalommal zárthelyit írnak, továbbá a tárgy anyagához kapcsolódó nagy házi feladatot kell megoldjanak.

     

    A hallgató a félév elismerést jelentő félév végi aláírás csak akkor kaphat, ha

     

      • a hallgató sikeres zárthelyit írt, (TVSz 14.§ (1/a) szerint), és

         

      • a nagy házi feladatát legkésőbb a szorgalmi időszak utolsó hetén beadta, és az megfelelt minősítést kapott.

         

     

     

    b.       A vizsgaidőszakban:

     

              A tárgy anyagából a hallgatók szóbeli vizsgát tesznek. A félév végi osztályzatot a vizsgajegy alapján kapják.

     

    11. Pótlási lehetőségek ·       Egy elégtelen  zárthelyi egyetlen alkalommal pótolható.  - TVSz16 .§ (1) ·       Elégtelen  zárthelyi egyetlen alkalommal pótolható.  - TVSz16 .§ (1)

     

    ·       Elégtelen (pót)zárthelyi  a pótlási héten  pótolható különeljárási díj megfizetése mellett. - TVSz16 .§ (3)

     

    ·       Elégtelen vizsga különeljárási díj megfizetése mellett pótolható.

     

     

    12. Konzultációs lehetőségek

    Igény szerint előadóval egyeztetve.

    13. Jegyzet, tankönyv, felhasználható irodalom Tilly K.: Szemantikus szoftverrendszerek (a tárgy anyagát tükröző elektronikus kézirat)

     

    Czarnecki K., Eisenecker U.: Generative Programming: Methods, Tools, and

     

    Applications, Addison-Wesley (2000)

     

    14. A tantárgy elvégzéséhez átlagosan szükséges tanulmányi munka
    Kontakt óra28
    Félévközi készülés órákra12
    Felkészülés zárthelyire20
    Házi feladat elkészítése
    Kijelölt írásos tananyag elsajátítása
    Vizsgafelkészülés
    Összesen60
    15. A tantárgy tematikáját kidolgozta
    Név:

     

    Beosztás:

     

    Tanszék, Int.:

     

     

     

    Dr. Tilly Károly

     

    Ügyvivő Szakértő

     

    Külső szakértő

    Dr. Levendovszky Tihamér

     

    Adjunktus

     

    Automatizálási és Alkalmazott Informatikai Tanszék