Oninit Logo
The Down System Specialists
+1-913-732-8892
+44-2081-337529
Partnerships Contact

Oninit® BLT — Business Logic Transformer

Recover a functional specification — workflows, fields, rules, database operations, messages, transactions — from Informix 4GL applications, using any combination of 4GL source, SPL stored procedures, compiled binaries, and database schema.

The output describes behaviour, not source code. The Business Logic Transformer (BLT) is not a decompiler. It produces a behavioural description suitable for rewrite, analysis, or verification testing — delivered as both human-readable Markdown and a machine-readable JSON contract, with explicit confidence levels attached to every claim.

Inputs

SourceWhat it contributes
4GL sourceModules, functions, screens / forms, menus, embedded SQL, messages, control flow.
SPL stored proceduresProcedure signatures, embedded SQL, cursors, exception handlers, control flow.
Compiled binariesSymbols, strings, SQL candidates, basic-block control-flow graph, call edges.
Schema DDLTables, columns, primary keys, indices, constraints, stored-procedure signatures.

Output

A functional specification covering eight required surfaces, each claim cited to one or more underlying evidence facts.

SurfaceDescription
WorkflowsMenu → handler → screen → SQL chains.
FieldsScreen fields bound to backing columns with validation hints.
RulesValidation and business rules from control-flow predicates around DML.
Database operationsCRUD per function or procedure, per table.
MessagesDisplay, message, and error strings tied to their control-flow context.
TransactionsBEGIN / COMMIT / ROLLBACK scopes and the operations they enclose.
Confidence levelsHigh / Medium / Low / Unknown attached to every claim.
Review itemsLow-confidence and unresolved claims surfaced for human attention.

Confidence model

LevelMeaning
HighStrong, corroborated evidence from one or more reliable sources.
MediumPartial evidence; capped here when a binding is unresolved.
LowWeak inference; surfaced for review.
UnknownInsufficient data to support any claim.

Extraction modes

ModeBehaviour
StrictRequires symbols; fails on stripped binaries.
Recovery (default)Tolerates stripped binaries; best-effort, continues with warnings.
ForensicDeeper analysis; permits speculative low-confidence claims.

Key principles

PrincipleWhat it means
Evidence-basedEvery claim cites one or more underlying facts.
No silent assumptionsAnything inferred without direct evidence is flagged.
Confidence always explicitEvery claim carries a level — no implicit certainty.
Human review expectedLow-confidence and unresolved items surface separately.
DeterministicIdentical inputs and configuration produce byte-identical output.

To discuss how Oninit ® can assist please call on +1-913-732-8892 or alternatively just send an email specifying your requirements.


You get all this for free.. think about what you get if you pay us