A language for generating services for the Maritime Cloud (under development)