Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2020/2021

Structural Conceptual Modelling

The course is not on the list Without time-table
Code Completion Credits Range
PI-SCM ZK 4 3C
Lecturer:
Tutor:
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:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2020-10-27
For updated information see http://bilakniha.cvut.cz/en/predmet5927906.html