Bonjour,

http://www.omg.org/docs/formal/03-05-02.pdf