A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory
structured nodes in uml 2 . 0 activities .