Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Structural Conceptual Modelling

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
PI-SCM ZK 4 3C
Garant předmětu:
Robert Pergl
Lecturer:
Robert Pergl
Tutor:
Robert Pergl
Supervisor:
Department of Software Engineering
Synopsis:

The course is focused on the methodology of structural conceptual modelling in the context of information engineering and software engineering. In this course we focus on theoretical and practical aspects of significant approaches to modelling ontological structures such as modal logic, descriptive logic and their application in languages such as OntoUML, Alloy and OWL. The focus is on model-driven engineering and ontological analysis of complex domains. Methods and tools of verification, validation and simulation of structural ontological models, model transformation and code generation are discussed.

Requirements:

There are no formal prerequisites, as for the content, the subject is a sequel to BIE-KOM.

Syllabus of lectures:
Syllabus of tutorials:

1.Theoretical foundations of conceptual modelling.

2.OntoUML and UFO-A - Basics, Sortals, Non-Sortals.

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

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

5.UFO-based domain ontologies (UFO-C, UFO-S, UFO-L and others).

6.Validation, verification and simulation of OntoUML models, tools, Alloy language and its environment.

7.OWL and its generation from OntoUML, Protége tool.

8.Ways of expressing domain rules, functional approach, language OCL.

9.Transformation from OntoUML to UML (1).

10.Transformation from OntoUML to UML (2).

11.Transformation from OntoUML to relational model and other types of transformations (SBVR).

Code generation from structural models. Theoretical foundations of conceptual modeling.

Study Objective:
Study materials:

Literature

- 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.

Note:
Time-table for winter semester 2023/2024:
Time-table is not available yet
Time-table for summer semester 2023/2024:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet5927906.html