A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory
a heterogeneous approach to uml semantics .