View Type Conformity in Model-Driven Development
| Typ | Bachelorarbeit oder Masterarbeit | |
|---|---|---|
| Aushang | BA-MA View Type Conformity.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Lars König (E-Mail: lars.koenig@kit.edu) |
Motivation
In the development of software or software-intensive systems, developers use different methods, tools, and formalisms to work on different aspects of the system. In model-driven development, we call these views on the system. A common practice for defining specialized views is to derive them from a set of consistent models of the system using a view definition language. In order to use the generated views in the available development tools, the view type, describing the structure of the views, must conform to the structure expected by the tool. In model-driven research, this problem is known as meta-model conformity.
export food-view to "https://food.example.com/"
conforms to "https://food.reference.com/"
from Pizza create Food { type := "pizza" }
Task
In this thesis, you will
- Research current methods to evaluate meta-model conformity
- Apply selected methods to the view types used in our research project Convide
- Implement support for automatic meta-model conformity checks in our view definition language NeoJoin
Your results should assist developers in defining views by automatically checking whether the resulting view type conforms to a given meta-model.