Techniques for automated construction of rule language mappings
have been developed, methods of how to prove preserving of semantics by rule language
mappings have been proposed, a mapping of a subset of the SYNTHESIS language into
the RIF-BLD logic dialect has been constructed.
Model transformation languages (specifically, ATL - ATLAS Transformation Language)
were chosen as a technique for an implementation of rule language mappings.
Rule language mapping construction starts with a formal definition of abstract syntaxes of the
languages and ends with a program implementation of language transformation.
Automation of transformation construction means automatic construction
of the most complete pattern of transformation as possible. The construction is
based on correspondences between elements of abstract syntaxes of a source and
a target languages. The kernel of the approach is a set of generation rules
allowing an automatic construction of ATL-transformation of the given source
language into the given target language.
Correctness of rule language mapping is defined as a preserving of entailment
of formulae after the mapping. Three methods of proving of correctness
of mappings are chosen: test case checking; reducing entailment to refinement;
manual proof using structural induction over constructs of the language.
A study and a comparison of entailment inference engines have been done to choose
methods and tools to be used in the frame of the project.
A mapping of a distinguished subset of the SYNTHESIS language into
the RIF-BLD logic dialect has been constructed. The mapping is defined as a
semantic recursive function matching constructs of the SYNTHESIS language
and the RIF-BLD constructs. Correspondences of the SYNTHESIS built-in
types and XML Schema built-in types (which are also RIF-BLD built-in types)
are defined. A mapping of built-in type predicates and functions of the
SYNTHESIS language into built-in predicates and functions of the RIF-BLD is defined.
During 2012 a design of an infrastructure for integration of rule-based programs and knowledge,
databases and services have been developed. A prototype of the infrastructure has been developed.
A mapping of a subset of the RIF-BLD dialect into the rule language of the mediator
canonical model (the SYNTHESIS language) has been implemented using ATL.
Methods for integration of rule-based declarative
programs and knowledge in subject mediators have been developed. An approach for achieving
mediators modules interoperability in a multidialect environment has been investigated.
A technique for binding application rule-based programs with subject mediators has been developed.
|
