Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory.

Amine Achouri, Leila Jemni Ben Ayed

Browse the full ICSoft paper archive.