检索结果-内蒙古大学图书馆

第一届全国服务计算学术会议

作者：马超徐晓飞王忠杰哈尔滨工业大学计算机科学与技术学院，黑龙江省哈尔滨市 150001

服务业务流程模型的质量对服务系统的质量产生直接影响，而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外，更为重要的是其能否充分满足顾客的服务需求．在服务工程中，服务价值被认为是各服务参与者期望从服务获取的最终... 详细信息

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

关键词：服务业务流程模型目标价值价值进程代数

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 2010年第11期33卷 2177-2189页

作者：马超徐晓飞王忠杰哈尔滨工业大学计算机科学与技术学院哈尔滨150001

服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目... 详细信息

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

关键词：服务业务流程模型价值模型目标价值价值进程代数价值状态图

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还