【摘 要】
：
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
论文部分内容阅读
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现
其他文献
XML数据流上的分片策略是基于剪切的XML数据流发布系统面临的首要问题.文中针对基于剪切的XML数据流中对XML片段解析和连接的操作代价,提出了基于Hole-Filler模型的XML数据流
企业营销要想保住"畅"并日益"俏",前提是要掌握消费需求,实行按需营销,投其所好.但是,光做到这一点还不够,如果不把营销基点放到发现消费新需求上,未必就能实现打开市场的初
在知识经济时代，创新活动是企业赖以生存和发展的主题，也是企业走出困境、竞争取胜的法宝。全面贯彻落实党的十五届四中全会精神，打好国企攻坚战，贵在坚持，重在创新。 全面推进国
长丰县１９９３年流行性出血热流行病学调查安徽省长丰县卫生防疫站（２３１１００）郑象根长丰县流行性出血热（ＥＨＦ）于１９８２年首发２例以来，每年只在县北少数乡镇散发。但１９９３年发病５１例、分布１９个乡镇。发病率为５．６／１０万，死亡３例，病