Boris Gruschko

Learn More
Metamodel evolution poses a threat to the applicability of Model-Driven Development to large scale projects. The problem is caused by incompatibilities between metamodel revisions. These render models that conform to the older version of the metamodel non-conformant to the newer version. An approach to addressing this problem is co-evolution of models with(More)
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. As a consequence, dealing with evolving meta-models and the necessary migration activities of instances of this meta-model is becoming increasingly important. Approaches from database schema migration tackle a similar problem, but(More)
The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and developers should know the impact of changes on a software system. This consideration also applies to the field of model-driven development, where changes occur with the modification of the(More)
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols is an error-prone process, firstly because of the lack of precision and completeness of the standards, and secondly because of erroneous transformation of semantics from the(More)
Creation of formal specifications is being considered a relief for the difficulties of inception and construction of distributed systems. Numerous formal methods exist for the purpose of description of distributed systems and protocols. The creation of formal specifications for these systems lacks the extensive support by tools vendors. This results in lack(More)
As Model Driven Software Development gains attention, its utilization become more feasible in large scale software projects. The metamodels (M2 models) are important artifacts of the MDD process. These models capture the modeler’s understanding of the problem domain. However, the process of problem domain understanding is not necessarily completed, as the(More)
  • 1