A RESTful management API for Windows System