The Business Process Model and Notation (BPMN) standard is widely used for business process modeling, simulation, and execution. BPMN represents an \textit{imperative process modeling language}, specifying how business objectives are achieved through explicit control flow. In contrast, \textit{declarative process modeling languages} describe why and under what constraints a process can be executed, emphasizing flexibility and compliance. While prior work has explored encodings between low-level imperative and declarative languages, there remains limited research on formal mappings between high-level, widely adopted notations such as BPMN and declarative process modelling notations adopted in industry. Building on process-algebraic representations, this paper proposes a compositional encoding of BPMN constructs into Dynamic Condition Response (DCR) graphs, establishing a formal correspondence between imperative and declarative process models. The encoding preserves operational correspondence and ensures semantic consistency across paradigms. To illustrate practical applicability, the approach is implemented in an open-source simulator, \textit{bpmn2dcr-js}, which supports interactive visualization and execution of cross-paradigm process models, facilitating integration, analysis, and education in business process management.