Static validation for declarative service orchestration: Enabling reliable CI/CD and MLOps pipelines. - Konrad Horber; Stelios Sotiriadis (Future Gener. Comput. Syst., 2026)