Table of contents

The course is connected to the following study programs

Teaching language

English.

Recommended previous knowledge

IKT617 or equivalent.

Learning outcomes

After completing the course, the student is expected to:
  • have an overview of the use of formal notations to define semantics for languages
  • be able to specify and implement transformations between several languages and notations

Contents

The course provides an overview of modern ways to define semantics of modelling languages and language constructs and how to use this for generating modelling tools.

It will cover all aspects of modelling languages, i.e. structure in terms of abstract grammars and MOF-metamodels, static constraints using logic in the sense of PC1 or OCL, representation in terms of graphics and textual grammars, and dynamic behaviour described using denotational and operational techniques.

Teaching and learning methods

Lectures (2 hours per week) and project.

Examination requirements

Approved project report.

Examinations

Oral examination. Pass/Fail.
Last updated from FS (Felles studentsystem) Oct. 15, 2026 7:30:32 AM