TY  - RPRT
TI  - A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory
AU  - Amine Achouri
AU  - Leila Jemni ben Ayed
PY  - 2016
DO  - 10.7321/jscse.v3.n3.30
UR  - https://arxiv.org/abs/1606.02311
ID  - 1606.02311
ER  -