欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.
英文摘要：
As the quality of service models determines the quality of service systems to a great extent,and besides the consistency,unambiguity,etc.,of model itself,the fulfillment of customer＇s service requirements is a more important standard to measure whether the quality of service models is good or not.In service engineering,customer＇s service requirements are difficult to express accurately and comprehensively.By utilizing value models,this paper describes customer＇s service requirements from both functional and non-functional aspects.By importing the quality constrain of action and an implementation degrees of value function into Pi-calculus,VPA（value process algebra） is proposed,which is used to formally describe and validate service business proves model.By utilizing semantic equivalence matching algorithm and weak bisimulation theory,this paper verifies realizability,complete realizability of goal value,and analyzes the implementation degrees of goal value,and quantitatively checkes whether and to what degree customer＇s service requirements are met by service business process model,so as to provide references for value-oriented service model optimization.
同期刊论文项目
同项目期刊论文
Service Quality, Customer Satisfaction and Customer Loyalty of Mobile Communication Industry in Chin
Effective Service Composition in Large Scale Service Market: An Empirical Evidence Enhanced Approach
期刊信息
位置：