Model-Driven Engineering (MDE) has traditionally relied on a clear separation between design and runtime, but this boundary no longer holds in today's cloud-native and edge environments, where infrastructures are heterogeneous, dynamic, and continuously evolving. Assumptions validated at design time may become invalid during execution, and modern orchestration platforms such as Kubernetes or OpenStack, while effective, remain weakly connected to architectural modeling environments. This results in a structural gap between architectural specification and actual operational behavior. To bridge this gap, this thesis proposes to develop a formal modeling framework for placement constraints across heterogeneous orchestration platforms, ensuring continuity between design-time validation and runtime guarantees. This framework would elevate placement constraints — resource locality, affinity, network latency, security isolation, and quality-of-service objectives — to first-class modeling constructs. At design time, it would enable static feasibility analysis and automated generation of deployment artifacts; at runtime, it would ensure continuous compliance monitoring and adaptive reconfiguration in response to violations. Expected contributions include a formal modeling language, bidirectional transformations between design-time models and runtime representations, and integration with Papyrus-based tooling. The ultimate goal is to ensure that architectural intent remains consistent and verifiable throughout the entire system lifecycle, from initial design through to production operation.