Strukturální konceptuální modelování

Garant předmětu:

Robert Pergl

Přednášející:

Cvičící:

Robert Pergl

Předmět zajišťuje:

katedra softwarového inženýrství

Anotace:

Předmět je zaměřen na metodologii strukturálního konceptuálního modelování z hlediska informačního inženýrství a softwarového inženýrství. V předmětu se zaměřujeme na teoretické a praktické aspekty významných přístupů k modelování ontologických struktur jako jsou modální logika, deskriptivní logiky a jejich uplatnění v jazycích, např. OntoUML, Alloy a OWL. Těžiště předmětu je v inženýrství řízeném modely (model-driven engineering) a ontologických analýzách komplexních domén. Probírány jsou způsoby a nástroje verifikací, validací a simulací strukturálních ontologických modelů, transformace modelů a generování kódu.

Požadavky:

Formální prerekvizity nejsou, obsahově předmět navazuje na BI-KOM.

Osnova přednášek:

Osnova cvičení:

1.Teoretické základy konceptuálního modelování.

2.OntoUML a UFO-A - základy, Sortals, Non-Sortals.

3.OntoUML a UFO-A - Relators, Aspects.

4.OntoUML a UFO-A - Part-Whole Relations.

5.Doménové ontologie založené na UFO (UFO-C, UFO-S, UFO-L a další).

6.Validace, verifikace a simulace OntoUML modelů, nástroje, jazyk Alloy a jeho prostředí.

7.OWL a jeho generování z OntoUML, nástroj Protége.

8.Způsoby vyjadřování doménových pravidel, funkcionální přístup, jazyk OCL.

9.Transformace z OntoUML do UML (1).

10.Transformace z OntoUML do UML (2).

11.Transformace z OntoUML do relačního modelu a další typy transformací (SBVR).

12.Generování kódu ze strukturálních modelů.

Cíle studia:

Studijní materiály:

Literatura

- Guizzardi, G. (2005). Ontological Foundations for Structural Conceptual Models (Vol. 015). Enschede: University of Twente.

- Fowler, M. (2003). UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd ed.). Addison-Wesley Professional.

- Brambilla, M., Cabot, J., & Wimmer, M. (2017). Model-Driven Software Engineering in Practice: Second Edition (2nd ed.). Morgan & Claypool Publishers.

- Gašević, D., Kaviani, N., & Milanović, M. (2009). Ontologies and software engineering. In Handbook on Ontologies (pp. 593-615). Springer.

- Stuart, D. (2016). Practical Ontologies for Information Professionals (1st ed.). Facet.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Informatika (doktorská) (povinně volitelný předmět)
• Informatika (povinně volitelný předmět)