A Formal Model Integration

Jiayang Wang,Mengchi Liu
2003-01-01
Abstract:Model integration is an important section of the model management research area, which can be divided into two parts: one is the integration based o n model definition, the other is the model manipulation based integration. The primary foundatio n of the model integration based on model manipulation is the relationship of input and outpu t between models. The paper puts forward a formalization representation of model, and pre sents some concepts, such as the combination model relation, the composite model and so on. Additionally, the existence of the model integration is also analyzed in detail and several sufficient conditions are proved.
What problem does this paper attempt to address?