The solution to all ... Diagram in Z notation. This paper is an extension of our previous work by comprehensive formalization of structural semantics of Executable Node and Activity Group into Z ...