Handling Domain Knowledge in Design and Analysis of Engineering Models

The development of complex systems involves several domain experts and several design models corresponding to different analyses (views) of the same system. No explicit information regarding the characteristics of the performed system analyses is given. We propose a stepwise approach to keep trace of the process that allows a system designer to build a point of view first, by explicitly defining the features of an analysis (view) and second, by explicitly defining the required concepts and properties borrowed from a design model. The objective is to trigger a given model analysis. Strengthening the design models with domain knowledge is highly recommended before performing such analysis. We propose a model annotation methodology for this purpose. These approaches are deployed using Model Driven Engineering (MDE) techniques and illustrated on an didactic case study