The ModelGUID attribute is used for database synchronization (e.g. to process user role name changes).

It's included in the System module, because user roles are created in the Modeler and we need a way to distinguish between different user roles at runtime.