Service Modeling Language WSML: An Overview -- On the Semantics of Functional