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.
| Source | What it contributes |
|---|---|
| 4GL source | Modules, functions, screens / forms, menus, embedded SQL, messages, control flow. |
| SPL stored procedures | Procedure signatures, embedded SQL, cursors, exception handlers, control flow. |
| Compiled binaries | Symbols, strings, SQL candidates, basic-block control-flow graph, call edges. |
| Schema DDL | Tables, columns, primary keys, indices, constraints, stored-procedure signatures. |
A functional specification covering eight required surfaces, each claim cited to one or more underlying evidence facts.
| Surface | Description |
|---|---|
| Workflows | Menu → handler → screen → SQL chains. |
| Fields | Screen fields bound to backing columns with validation hints. |
| Rules | Validation and business rules from control-flow predicates around DML. |
| Database operations | CRUD per function or procedure, per table. |
| Messages | Display, message, and error strings tied to their control-flow context. |
| Transactions | BEGIN / COMMIT / ROLLBACK scopes and the operations they enclose. |
| Confidence levels | High / Medium / Low / Unknown attached to every claim. |
| Review items | Low-confidence and unresolved claims surfaced for human attention. |
| Level | Meaning |
|---|---|
| High | Strong, corroborated evidence from one or more reliable sources. |
| Medium | Partial evidence; capped here when a binding is unresolved. |
| Low | Weak inference; surfaced for review. |
| Unknown | Insufficient data to support any claim. |
| Mode | Behaviour |
|---|---|
| Strict | Requires symbols; fails on stripped binaries. |
| Recovery (default) | Tolerates stripped binaries; best-effort, continues with warnings. |
| Forensic | Deeper analysis; permits speculative low-confidence claims. |
| Principle | What it means |
|---|---|
| Evidence-based | Every claim cites one or more underlying facts. |
| No silent assumptions | Anything inferred without direct evidence is flagged. |
| Confidence always explicit | Every claim carries a level — no implicit certainty. |
| Human review expected | Low-confidence and unresolved items surface separately. |
| Deterministic | Identical 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