企业信息系统管理对企业的信息化起着至关重要的作用。但是由于系统受管资源往往源于多个厂商,兼容性得不到保证;企业的业务在其发展过程中也会日趋复杂:同时企业在发展的过程中,其业务可能会跨不同地区,甚至跨越国界,这些都为系统管理带来了挑战。Web Services技术凭借着其良好的跨平台性、跨语言等特性,越来越受到计算机界的重视。WS-Management规范是国际上著名的标准化组织DMTF提出一个利用Web Services技术进行系统管理的标准。该规范的制订参考了许多业已成熟的Web Services方面的标准,同时WS-Management规范也做了相应地改进。本文首先利用网络协议的形式化描述与验证技术Petri网对WS-Management规范的三个子规范:WS-Transfer、WS-Enumeration和WS-Eventing进行了形式化描述。在此技术上对这三个子规范进行了形式化的验证,验证表明三个子规范均满足有界性、活性、完整性和前进性。在WS-Management规范发布之后,许多著名的计算机厂商纷纷推出了一些基于WS-Management规范的开源实现,但是这些开源实现大都没有和具体的系统管理资源进行交互。我们利用了其中的开源实现设计和实现了一个基于WS-Management规范的管理系统,并在此基础上对Windows平台上的资源进行了初步的管理。最后,本文分析和比较了WS-Management规范中WS-Eventing子规范中提出的两种事件递推模式:拉模式和推模式。在此基础上,提出了改进后的拉模式,并用随机Petri网利用对改进后的拉模式进行了性能比较。我们发现,改进后的拉模式,仍然保证系统管理员有很大的自主权,同时减轻了系统管理中间件对事件的缓存压力。