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 ...