Related Communities:

Application of Composition Development Method for definition of SYNTHESIS language semantics

Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics.

Author(s): Kalinichenko L.A., Nikitchenko N.S., Zadorozhny V.
Created:1993/01/01
Published:Industrial-Strength Formal Methods: Proc. of the First International Symposium of Formal Methods Europe FME '93. LNCS 670. -- Berlin-Heidelberg: Springer-Verlag, 1993. -- P. 428-441.
Abstract:
This paper presents the main ideas of the Composition Development Method and its application to the semantics definition of the query language for SYNTHESIS a system for heterogeneous information resource interoperation. This definition is used for implementation of the query language compiler.
Download:

Supported by Synthesis Group