We provide a formal syntax and operational semantics for activity diagrams to allow for fully executable models. Inspired by the scenario-based language of live sequence charts, some extensions for ...

The Executable Node and Activity Group are principal components of UML 2.5 Activity Diagram and they have not been completely formalized in existing researches so far. Our earlier publications ...