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

Amine Achouri, Leila Jemni Ben Ayed. Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. In José Cordeiro, David A. Marca, Marten van Sinderen, editors, ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013. pages 178-185, SciTePress, 2013.

Abstract

Abstract is missing.