Formalization of Model-Driven Software Engineering

Model-Driven Software Engineering (MDSE) encompasses traditional areas of both Language Design and Software Engineering (language definition and tooling, manipulation of programs and models, refinement of specifications into lower-level abstractions) following a unified conceptual and technical framework (metamodeling and declarative model transformations).

Solving industrially relevant problems around MDSE tooling requires making progress in several areas:

applying techniques to improve the precision of metamodel-based language specifications, as languages relevant for enterprise software systems (JPQL, BPEL) are being standardized using the metamodeling approach
methodologies to automate the certification of transformation algorithms common in the model-driven approach
efficient evaluation of OCL invariants (e.g., using incrementalization) and transaction-based manipulation of metamodel instances (software repositories, shared-memory transactions)
As MDSE techniques are applied to development processes of ever increasing complexity, additional demands are placed on the infrastructure supporting those processes. The practical part of the my PhD involves the construction of software tools that realize techniques and methodologies to advance the state of the art by solving the problems identified above.

FMDSE-Infosite