Related Communities:

A semantic transformation of the canonical model into a formal langage

A semantic transformation of the canonical information model into a formal specification langage for the refinement verification.

Author(s): Stupnikov S. A.
Published:Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 383--391.
The paper is devoted to the development of methods and tools achieving the semantic interoperability of heterogeneous information resources during the development of integrated information systems. A refinement of a system specification by the resources specifications is considered as a basic fact requiring a formal proof. A transformation of the SYNTHESIS language aimed at development of subject mediators for tasks solving over heterogeneous resources into AMN formal specification language supporting the refinement. Thus a possibility of refinement proving in the SYNTHESIS language with the help of the existing automatic/interactive provers is achieved.
Download: [ Adobe PDF ]

Supported by Synthesis Group