Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
Security boundaries
| Subjects and elements | Diagram | Sources |
|---|---|---|
| User; Desktop application; stores7 database; Operating system; Framework dependencies; Application interaction boundary; Database persistence boundary; Operating-system command boundary | Diagram; 3 recorded gaps | E0001, E0002, E0003, E0004 |
| Operator; Java/Swing form layer; Help and keyboard behavior; Application boundary | No diagram; 3 recorded gaps | E0004, E0005, E0006 |
| Application user; Customer input boundary; Customer application; Stores7 database | Diagram; 3 recorded gaps | E0007, E0008 |
| Order operator; Main order menu; Privilege presentation boundary; Standard order form; Privileged order form | Diagram; 3 recorded gaps | E0009, E0010 |
| User; D4_Main; Command execution boundary; Application.execute; D4_Report; SQL query-construction boundary; Informix database | Diagram; 3 recorded gaps | E0011, E0012, E0013 |
Harten documentation of the Informix 4GL and Java source repository, from the retained 17 October 2026 export. The exact upstream revision analysed is not established. Source findings do not establish runtime behaviour or equivalence between the implementations.
Evidence identifiers are retained for traceability. The underlying analysis records are not included in this public edition; credential values are redacted. About this case study.