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

• 作者: 徐晓飞 王忠杰 马超
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 服务业务流程模型 价值模型 目标价值 价值进程代数 价值状态图
• 年，卷（期）: 2010,（11）
• 页码范围: 2177-2189
• 分类号: TP311
• 字数: 14315字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.02177

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐晓飞	哈尔滨工业大学计算机科学与技术学院	224	4146	33.0	53.0
2	马超	哈尔滨工业大学计算机科学与技术学院	31	94	5.0	8.0
3	王忠杰	哈尔滨工业大学计算机科学与技术学院	58	788	18.0	26.0