The paper proposes a more formalized definition of UML 2.0 activity diagram semantics. A subset of activity diagram constructs relevant for business process modeling is considered. The semantics ...