Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

7openETCS Meta Model
The meta model is the first instance to be developed in every DSL development cycle. In this
work, the selected meta meta model is GOPPRR, as already explained in Chapter 4. Figure 7.1
repeats the concrete DSL open model instances from Figure 6.1 and adds the concrete instances
for the openETCS case study.
Model Instances Open Model Instances openETCS Model Instances
Meta Meta Model
Open Meta Meta Model
GOPPRR
instantiates
instantiates
instantiates
Meta Model
Open Meta Model
openETCS Formal Language
instantiates
instantiates
instantiates
Model
Open Model
openETCS Formal Specification
instantiates
instantiates
instantiates
Application
Open Source
openETCS Open Source
Figure 7.1.: DSM instances for the openETCS case study
The openETCS 1 meta model corresponds to the formal specification language. One of the
aims of this work in relation to the formal specification language is to provide more abstraction
than the specification documents of the ETCS SRS. The openETCS meta model should be
comprehensible for a domain expert 2 and additionally should reflect the structure of the SRS, as
1 The name openETCS was chosen for the case study. Although this work follows similar goals as the German
Railways initiative, it is not an immediate part of it.
2 ATP or ETCS expert
79