ArtinSoft’s software migration technology

ArtinSoft, originally short for "Artificial Intelligence Software" has developed two main proprietary technologies based on AI: the Káblök® and Freedom® systems.

Káblök® is a language-oriented programming environment that allows mapping the source code concepts by means of natural deduction. It employs grammar-based representations, very high level matching and algebraic simplifications.

Freedom® is a sophisticated technology specially designed for the construction of software migration and upgrade systems. This code conversion tools factory fully understands and applies the best engineering practices. It is empowered by high-quality automatic systems that readily specify, document, build and test the tools to assure the shortest possible time to market.

Freedom® Technology

Freedom® is a leading edge technology developed on the principles of Artificial Intelligence, which uses language-orientation as a representational and computational paradigm. Freedom® Technology uses a powerful engine that employs grammatical objects and equivalence rewriting to carry out semantic transformation across a wide array of languages.

Freedom® creates a full abstraction of the original program via intermediate representations in which millions of transformations are applied to produce another abstraction in the target language. The new source code is then generated from that abstraction. At each processing stage the system purifies the logic, derives useful information from it, deduces its new best representational form and passes it on to the next phase. In this way, the system refines a natural program in the new paradigm, without losing any of its inherent functionality.

Code Conversion Process Results

Using a highly automated process, Freedom® produces an application source code that is naturally restated in a new programming language. These are some of the results of ArtinSoft’s code conversion process:

An extendable and maintainable final code
A robust and intelligent restructuring of the code
Original comments are moved to the target code
Cross-references for all the application components
Functional Equivalence, with all the built-in features of the original program kept intact