摘要：通过面向服务的架构(SOA),来搭建采购与物流一体化的服务系统,降低系统的成本.为了弥补SOA在服务质量分析方面的不足,将价值模型引入SOA的服务体系中,从功能性和非功能性两方面对顾客需求进行形式化描述;采用扩展的UML时序图对服务流程进行描述;使用Pi演算及价值状态图验证目标价值的可实现性;通过价值实现程度计算函数定量计算采购物流系统对顾客需求的满足情况.最后对一个采购物流系统实例的仿真数据进行分析验证,仿真结果表明,将价值模型引入SOA服务体系可以有效弥补SOA对采购物流服务组合的服务质量分析方面的不足,并对以后的服务组合优化提供指导.

关键词：采购物流 面向服务体系架构 价值模型 pi演算 uml 

单位：天津理工大学天津市智能计算及软件新技术重点实验室