A modular notation for monitoring network systems