基于价值进程代数的服务业务流程模型分析

摘要

服务业务流程模型的质量对服务系统的质量产生直接影响，而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外，更为重要的是其能否充分满足顾客的服务需求．在服务工程中，服务价值被认为是各服务参与者期望从服务获取的最终目标，采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述．通过对Pi演算扩展动作质量约束和价值实现程度计算函数，提出价值进程代数VPA．用于形式化表达和验证服务业务流程模型．利用语义等价匹配算法和弱互模拟理论，提出验证目标价值的可实现性和实现完整性的模型分析方法，分析目标价值的实现程度，进而定量计算服务业务流程模型对顾客需求的满足情况，为后续面向价值的服务模型优化提供依据．