近年来,现代服务业发展迅速。现代服务业大多需要IT服务系统的支持,这催生了对服务工程的系统研究。哈尔滨工业大学在模型驱动体系结构(MDA)的基础上提出了面向服务的模型驱动体系结构(SMDA)。与现有的其他服务工程方法相同,该方法只从服务系统的功能和质量两个主要方面进行了考察,缺少了对服务系统另一个重要方面——价值的支持。因此从服务价值入手,进而提出了支持价值知觉的服务工程与方法体系(VASEM)。VASEM的研究包括服务价值的基本概念、服务价值模型、服务价值标注、面向服务价值的模型分析、面向服务价值的模型优化、面向价值的服务构件选择等等。本文涉及VASEM研究的前四个方面。首先,从价值的概念、分类、指标、价值与要素关系、形式化定义、依赖关系、度量方法等方面给出了服务价值的基础概念以及形式化描述。这是服务价值领域研究的基础。然后,给出了服务价值模型的体系结构,分别介绍了价值声明模型、面向参与者的价值网、价值依赖模型的图元表示及含义、模型形式、图元属性、形式化描述等。其次,价值标注作为连接价值模型与服务模型的纽带,为接下来的面向价值的服务模型优化提供了数据基础。重点介绍了价值标注的定义、模型形式、图元属性等。并给出了价值标注的形式化定义。在章节最后给出了标注的一般原则和方法。再次,面向服务价值的模型分析是论文重点,介绍了模型分析的目标和四个方面,并从问题形式化描述、数据结构、算法等三个方面具体介绍了可实现性分析、实现完整性分析、时序依赖满足性分析和价值指标计算方法。最后,基于以上的理论研究设计并实现了建模及模型分析工具原型,介绍了工具的主要功能模块;并应用该工具对海运服务进行了服务模型、价值模型、模型分析的实例验证。