Foundations of Information Systems
Course infoSchedule
Course moduleNWI-I00035
Credits (ECTS)6
CategoryMA (Master)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Informatica en Informatiekunde;
dr. P. van Bommel
Other course modules lecturer
dr. P. van Bommel
Other course modules lecturer
Contactperson for the course
dr. P. van Bommel
Other course modules lecturer
dr. P. van Bommel
Other course modules lecturer
Academic year2023
KW3-KW4  (29/01/2024 to 31/08/2024)
Starting block
Course mode
Registration using OSIRISYes
Course open to students from other facultiesYes
Waiting listNo
Placement procedure-
In this course we study foundations of information systems in detail. These fundamental aspects will be organized around the notion of model transformation. In particular, we study the following topics:
  • Basic description language with a suitable representation mechanism.
  • Complexity of the representation mechanism.
  • Wellformedness conditions for representations, with a parameterized generation algorithm.
  • Correctness proof of generation algorithms.
  • Rule-based population transformation and operation transformation.
  • Distinction between generation operators and mutation operators.
We focus on the formal syntax and semantics of system descriptions and we use model transformation techniques.
We will specify the syntax and semantics of concrete model transformations. This will lead us to a framework for reasoning about transformations, in which different design strategies can be considered, for example quality-driven design strategies. Our study of foundations has a theoretical nature, but practical cases will also be considered.

Instructional modes
  • Lecture
  • Self-study
Master level.
Presumed foreknowledge
It would be good if you have some experience with the specification of system descriptions. Furthermore, it would be good if you can handle basic mathematical definitions.
Test information
During the semester, the students will do a project, in which they apply and evaluate the theory discussed in the lectures. The project must result in a project report. The project report must also include a proposal for the improvement or extension of the theory. The final grade for this course is determined on the basis of the project report.
Required materials
The lecture notes
Course guide
Instructions for the project report will be provided via Brightspace.
Lecture notes will be provided via Brightspace.

Recommended materials
Professional texts
Links to related work about system specification and model transformations.

Instructional modes


Project report
Test weight1
Test typeProject
OpportunitiesBlock KW4, Block KW4