GV
G.L. Volkers
info
Please Note
<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>
1 records found
1
A Framework for the Analysis, Transformation, and Validation of Rule-Based Parcel Sorting Plans
Towards improved maintainability, interpretability, and behavioural assurance
Rule-based parcel sorting plans are difficult to maintain because their effective decision logic is distributed across configuration objects, executable rule representations, routing tables, and run-specific context. This paper presents an evidence-grounded pipeline for analysing, conservatively transforming, behaviourally validating, and explaining recurring maintainability faults in such plans. The pipeline reconstructs sorting behaviour from abstract syntax trees, routing tables, lookup data, and run-level metadata, and combines canonical structural comparison, SMT-supported satisfiability and implication checks, routing-aware scope analysis, staged transformation in a copied working representation, synthetic behavioural validation against the original plan, and a local retrieval-supported explanation layer over the resulting evidence. The evaluation covers nine selected industrial configuration sets that expand to fourteen run-level evaluations. A controlled synthetic setup with 100 injected primary faults confirmed coherent end-to-end behaviour, with 21 out of 21 pipeline checks and 4 out of 4 validation checks passing. In the industrial case, Duplicate Sorting Class, Unsatisfiable Rule, Overshadowed Rule, and Shared Routing Overlap findings were reduced to zero in the copied working representation, while routing rows were reduced from 1,206,652 to 618,131. Behavioural validation separated quiet cleanup from concentrated review-sensitive differences, while the explanation layer helped reviewers inspect the evidence without becoming the decision authority. The behavioural claims remain bounded to the generated workload and do not establish full equivalence for all possible parcels or deployment conditions.
...
Rule-based parcel sorting plans are difficult to maintain because their effective decision logic is distributed across configuration objects, executable rule representations, routing tables, and run-specific context. This paper presents an evidence-grounded pipeline for analysing, conservatively transforming, behaviourally validating, and explaining recurring maintainability faults in such plans. The pipeline reconstructs sorting behaviour from abstract syntax trees, routing tables, lookup data, and run-level metadata, and combines canonical structural comparison, SMT-supported satisfiability and implication checks, routing-aware scope analysis, staged transformation in a copied working representation, synthetic behavioural validation against the original plan, and a local retrieval-supported explanation layer over the resulting evidence. The evaluation covers nine selected industrial configuration sets that expand to fourteen run-level evaluations. A controlled synthetic setup with 100 injected primary faults confirmed coherent end-to-end behaviour, with 21 out of 21 pipeline checks and 4 out of 4 validation checks passing. In the industrial case, Duplicate Sorting Class, Unsatisfiable Rule, Overshadowed Rule, and Shared Routing Overlap findings were reduced to zero in the copied working representation, while routing rows were reduced from 1,206,652 to 618,131. Behavioural validation separated quiet cleanup from concentrated review-sensitive differences, while the explanation layer helped reviewers inspect the evidence without becoming the decision authority. The behavioural claims remain bounded to the generated workload and do not establish full equivalence for all possible parcels or deployment conditions.