OFL: A language for cloud orchestration