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