Synthesis of canonical models providing for heterogeneous information sources interoperability.
|Author(s): || Kalinichenko L.A.
|Published:||Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 11--39. (In Russian)
| The current period of IT development is characterized by an explosive
growth of diverse information representation languages. With time,
the diversity of such models and their complexity grow together with
the increasing need for integration and composition of components and
tools represented in different models for implementing of the new
information systems. For new information systems construction applying
integration and composition of heterogeneous information components it
is required to develop the canonical information model serving as the
common language, "Esperanto", for adequate expression of semantics of
various information models used in the environment encompassing
required heterogeneous components.
Basic principles of the canonical model synthesis include fixing of
its kernel, constructing the kernel extensions for each specific
information model of the environment so that this extension together
with the kernel could be refined by this information model, and
forming the canonical model as a union of all such extensions. In this
connection the extension construction correctness is established with
the help of the automatized formal methods.
This paper gives an overview of
the formal methods of definition of semantic models for heterogeneous
information representation and their refinements in the process of heterogeneous
information sources integration and composite development of
The methods of
synthesis of canonical models are developed for the structured data
models, object models and process models.
[ PostScript ]