Towards a Formal Foundational to Orchestration Languages