ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
Vitus S. W. Lam · International Journal of Software Engineering and Knowledge Engineering · 2008
UML activity diagrams encompass a set of notational elements for capturing the dynamic behavior of a system. Although the graphical syntax of UML activity diagrams is well-defined in the UML documentation, there is still not a commonly accepted approach for reasoning about UML activity diagrams. In this paper, we present a formalization of the execution semantics of UML activity diagrams using the π-calculus. The formalization provides a theoretical foundation and formal analysis for UML activity diagrams, as well as a starting point for building automated software tool.