A framework to specify a reactive and proactive management system | IEEE Conference Publication | IEEE Xplore