Leila Jemni Ben Ayed

A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory

2016 · arXiv (Cornell University)

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. …