-
题名基于进程代数的服务业务流程价值分析
被引量：1
- 1
-
-
作者
马超
徐晓飞
王忠杰
-
机构
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第11期2177-2189,共13页
-
基金
国家自然科学基金(61033005
60803091
+1 种基金
70971029)
国家"八六三"高技术研究发展计划项目基金(2009AA04Z151)资助~~
-
文摘
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.
-
关键词
服务业务流程模型
价值模型
目标价值
价值进程代数
价值状态图
-
Keywords
service business process model
value model
goal value
VPA
value state graph
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
