I tend to agree with Bill's point that the language should not be vendor-specific. This is especially important if we want this standard be ever supported across the industry.

However, I'm not sure how much we can leverage a specific programming language without getting trapped into the problem of providing compilable code. Isn't it better to use some formal, such as Z or OCL, language for such things? See http://www.doc.ic.ac.uk/~rej99/suprema/examples_main.htm for an example.