ON pi-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
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 pi-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.
pi-calculus uml activity diagrams execution semantics uml 2.0 formal semantics