NWI-I00035
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;
Lecturer(s)
Coordinator
dr. P. van Bommel
Other course modules lecturer
Lecturer
dr. P. van Bommel
Other course modules lecturer
Contactperson for the course
dr. P. van Bommel
Other course modules lecturer
Examiner
dr. P. van Bommel
Other course modules lecturer
Academic year2023
Period
KW3-KW4  (29/01/2024 to 31/08/2024)
Starting block
KW3
Course mode
full-time
Remarks-
Registration using OSIRISYes
Course open to students from other facultiesYes
Pre-registrationNo
Waiting listNo
Placement procedure-
Aims
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.
Content
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
Level
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
Reader
The lecture notes
Course guide
Instructions for the project report will be provided via Brightspace.
Book
Lecture notes will be provided via Brightspace.

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

Instructional modes
Lecture

Project

Tests
Project report
Test weight1
Test typeProject
OpportunitiesBlock KW4, Block KW4