the General GNOME Operational Modeling Environment