This paper considers a technique for providing of Abstract Machine
Notation (AMN) formal semantics for the canonical information model
(SYNTHESIS language) specifications. Such mapping is used for
automation of refinement correctness proving during composition of
information systems and mediators on the basis of existing program and
information components in interoperable environments.
Program tools for automatic mapping of canonical specifications into AMN
The technique for using such tools for automation of refinement correctness proving
while composition of IS and mediators on the base of components is considered
and illustrated by an example.