AOMT-KB-v1.0: Supplementary Knowledge Base for Knowledge-Governed Assurance-Oriented Model Transformation

This supplementary material accompanies the manuscript “Knowledge-Governed Model Transformation for Assurance-Oriented Modelling of Cyber-Physical Systems.”

The material provides AOMT-KB-v1.0, the knowledge base used to instantiate the evaluated semantic metamodel of the Assurance-Oriented Model Transformation (AOMT) methodology. AOMT is a knowledge-governed model transformation approach for deriving assurance-oriented model artefacts from heterogeneous engineering documentation.

The supplementary knowledge base specifies the semantic configuration used in the study, including controlled vocabulary entries, semantic role definitions, obligation domains, boundary classes, verification modalities, feasibility relations, consolidation rules, and traceability constraints. It is provided to make the evaluated semantic configuration inspectable and to support semantic transparency and partial operational reproducibility.

The material does not provide unrestricted end-to-end replication of the full transformation process, since such replication would also require access to the original engineering documentation corpora and the realization process used to construct the documentation artefact model and System Profile model. Instead, the supplementary material documents the knowledge-base configuration that governed the downstream transformation chain evaluated in the manuscript.