Related Communities:

Synthesis of canonical models

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 information systems. The methods of synthesis of canonical models are developed for the structured data models, object models and process models.
Download: [ PostScript ]

Supported by Synthesis Group