随着网格技术的不断发展和成熟，人们对服务质量QoS的要求也在不断增加。WS-Agreement规范定义了描述服务提供者所提供的服务能力和服务使用者对服务的需求以及双方责任的语言和协议。 本文详细分析了WS-Agreement规范关于不支持不同抽象层次的等级参数映射，没有提供一套灵活的机制提供给使用者来构造自己的服务等级参数，对协商的消息和行为的支持不足和对服务等级合约管理的不充分等问题。同时，分析了在可接插服务环境下，服务迁移后如何重新计算服务等级参数，如何重新协商服务等级目标，如何管理已经签订的服务等级合约等问题。针对面临的问题，提出了解决的方案，主要工作包括： 1)提供了一套映射变换机制，帮助使用者根据自己的需求和服务的特点构造自己的服务等级参数。并且能够帮助描述在服务迁移后不同服务等级参数之间的映射变换。使得在服务迁移之后，能够在新的服务环境下重新计算服务的使用者与原服务的提供者签订的服务等级合约中的服务等级参数、重新评估原先签订的服务等级合约的服务保证条款在新的服务环境下是否能够满足。 2)提供了一套服务等级目标的表达机制，增强了WS-Agreement规范中服务等级目标的表达能力，统一了MarcoAiello，GannaFrankova等人对wS-Agreement规范扩展加入的协商保证条款和服务等级目标的表达方式。3)在MarcoAiello，GannaFrankova等人对WS-Agreement规范扩展的基础上，进一步扩展了WS-Agreement规范，在规范中加入了映射变换机制的描述和等价条款的定义，解决了服务迁移后不能计算原先的服务等级参数而不能评估相应的保证条款的问题。 4)最后使用MarcoAiello，GannaFrankova等人对WS-Agreement的形式化描述的方法和思路，对最进一步扩展后的可接插服务中服务等级合约进行了形式化建模，对其状态变迁进行了描述，讨论了在可接插服务环境下服务等级合约的管理。