Here is a web reference to a presentation on MDA at the OMG tech meeting in Anaheim CA Feb 2004.
"MDA and OptimalJ" by Bast and Epstein<\a>'MDA and OptimalJ' emphasizes MDA goals and how UML2/MDA proponents expect to transform the software develoment process (and your jobs:-). This presentation is very general (i.e. universal).
Wim Bast is also a co-author of "MDA Explained: The Model Driven Architecture: Practice and Promise" (see Ref. in slide 18) along with Warmer and Kleppe, who pioneered OCL at IBM and wrote the introductory book (AWL 1999): "The Object Constraint Language: Precise Modeling with UML".
This connection is no accident: MDA Explained develops a simple case study ("Rosa's Breakfast Service") using OCL to explan the declarative or formal specificaton part of the MDA vision. Compuware's OptimalJ product[-to-be?] is one such solution, so I suspect OptmalJ is also heavily influenced by OCL.
This free trial version of OptimalJ includes the Rosa example::
OptimalJ free download
This is a copy of the Rosa example design diagrams:
Do not confuse OCL with OLC (Shlaer and Mellor's Object Life Cycles). The latter is about dyamic behavior with control flow or sequencing expressed in state machine diagrams. OCL and OLC can fit together quite compatibly IMHO. Their combination is jistified by Bertrand Meyer's philosophy of 'Design by Contract' in Chapter 11 of his book (2ndEd, P-H 1997): "Object-Oriented Software Construction".
For a summary, see: