Abstract:

To address the problems of the inability of DoDAF views to directly drive simulations and the insufficient cross-layer semantic alignment and consistency verification, a DoDAF-OPM-SD cross-layer semantic automated/semi-automated mapping and verification method was proposed in this paper. Targeting tactical/operational-level problems dominated by "conservation+feedback+time delay", the proposed method reduced manual mapping under expert adjudication based on a "minimal executable view set". The object-process methodology served as a semantic bridge to map architectural elements into the stock-flow-feedback structures of system dynamics; semantic embedding disambiguation, integer programming harmonization, and K-nearest neighbor parameter completion were integrated; end-to-end traceability was connected through traceability identifiers, and low-confidence entries were reviewed under "expert and script collaboration". The case study of an "ISR-fire chain" validates the closed-loop capability of automatic modeling guideline generation and indicator write-back. Key verifications are passed, demonstrating that this method can realize fast, traceable, and verifiable executable architecture modeling under applicable conditions.

Key words: cross-layer semantic mapping, unified semantic bridge, DoDAF, system dynamics, consistency checking, traceability