流程拒绝自我揣度——回应对ITIL流程的误解

上一期的《为流程找个说法》一文,纠正了人们关于ITIL的“服务支持流程”的常见误解;其实关于“服务提供流程”,人们出自自我揣度。对其也存在许多误解,本期,我们想就这些误解。发表一些看法。     

为流程找个说法

流程是ITIL的核心,关于流程的认识,人们总是能从不同的角度找出茬来,流程是他们想象的那样吗?推广IT服务管理,确实应该先——     

面向QoS的服务流程优化

Web服务作为一种新型的Web应用模式,近年来已经得到了广泛地应用。服务流程应用了Web服务技术,如何对已有的服务流程进行优化已经逐渐被人们所关注。提出了一种优化服务流程结构的算法,引入QoS指标,利用遗传算法来解决服务流程优化问题。     

烙上流程的印记

国内企业的IT管理经历了系统管理、网络管理之后,现在正逐渐向IT服务管理阶段过渡,但不可避免的是,这种转变会在一定程度上带有“路径依赖”的特征。很多企业在实施ITSM时,虽然遵循了以流程为中心的核心思想,但实现的功能依然停留在服务支持流程组,而远没有全面实现ITIL服务提供流程组(Service Support S大流程)的主动式管理。 虽然如此,进行这样的尝试性实践也是极其可贵的,毕竟这是通向全面实现IT服务管理的前哨,我们姑且可以将这个过渡的阶段称为“前ITSM时代”。     

面向服务簇的服务流程构建

为了减少服务流程的构建时间,优化流程的服务质量,增强流程响应自适应性,提出一种面向服务簇的流程构建方法。采用服务簇作为组成服务流程的基本单位,将服务流程的构建划分为面向簇的流程服务推荐和最优服务流程质量计算两个阶段,并给出具体实现方案。仿真实验以10000个Web服务和不同的流程模式作为测试源,与面向原子服务组建的服务流程相比,面向簇构建服务流程及服务失效时的流程重构时间均至少降低50%,而构建的服务流程质量至少提高10%。仿真结果表明该方法可以有效缩减流程组建时间,提高构建流程的服务质量,增强流程响应自适应性。     

一种验证Web服务流程的新方法*

在实际的服务组合中,Web服务流程（process）的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑（TLA）建模服务流程,然后,利用模型检验（model checking）技术验证模型的某些属     

基于Petri网的服务流程结构健壮性判定

结构健壮性判定是服务组合领域的一个重要研究问题。已有研究成果通常仅对健壮性进行定性分析，难以精准对服务流程的结构质量进行评价。针对上述问题，本文提出一种基于Petri网的结构健壮性的层次评价方法，建立4个层次的服务流程结构健壮性划分准则，并给出相关判定算法。最后，以网上在线交易服务流程为背景，构建不同级别结构健壮性的流程算例，例证了所提出方法的可行性。     

服务流程中的数据流处理

服务流程需要处理服务之间大量的异构数据的交互,不同的数据流处理方式直接影响了服务流程的执行效率。阐述了服务流程模型中的数据流表示模型、数据映射机制与数据流验证机制,论述了服务流程运行中的数据流调度、数据存储以及传输等数据管理问题,分析了数据流处理在服务流程中的应用情况。最后,结合现有的数据流研究进展,提出了数据流研究的展望。     

基于流程的Web服务发现

支持基于流程的Web服务发现是提高企业集成度和灵活性的一个重要问题.由于Web服务的松散耦合环境,发现的Web服务流程未必完全相容.提出一个能够反映Web服务流程控制特点的流程模型tFSM,基于tFSM模型定义了Web服务流程的相容性和相容度,并给出一个计算Web服务流程相容度的算法.利用这些核心工作,可以实现一种基于流程的Web服务发现方法.     

Web服务流程相容性和相似性分析

服务组合和服务替换是面向服务计箅的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构件的概念,证明良构件能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

Web服务计算组合流程QoS验证

在满足功能需求的前提下,Web服务能否赢得市场, 主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。     

智慧医疗推动门诊服务流程再造的探索与实践

探索以患者为中心的流程改造,以病人就医的过程为主线,打通诊前、诊中、诊后服务流程,整合线上线下互联网功能,开展移动医疗、自助医疗、诊间结算等便民服务,加强医院内部管理,提高服务效率,推进“互联网+医疗健康服务”,服务于患者,改善就医体验。     

基于“互联网+”的智慧住院服务流程再造

在分析传统住院模式服务流程所存在的种种问题的基础上,提出了基于“互联网+”、移动支付、智能终端等新技术下的符合专科医院的智慧住院服务流程。探索如何整合分散的护理评估、随访、患者管理资源,借助信息化手段链接各个环节,建立患者服务中心,以及为患者提供线上自助服务与线下相结合的方式,解决患者住院医疗服务中的难点与痛点。     

基于流程树的BPEL4WS中流程服务动态优化方法*

针对服务流程建模语言BPEL4WS难以满足用户个性化需求也无法适应动态环境变化的问题,提出了一种动态优化BPEL4WS中流程服务的方法。该方法给出了一种Web服务交互代价计算模型,用来评价用户对Web服务的偏好程度以及实时环境下Web服务交互的现实代价。将BPEL4WS描述的服务组合流程转换为服务组合流程树,并借助领域本体对流程树节点进行语义检查,消除流程树中不合法的流程组合。通过深度优先遍历流程树,利用单亲遗传算法对流程服务进行优化组合。最后给出应用算例,并对用来优化组合流程服务的单亲遗传算法的适用性与     

基于逻辑Petri网的服务流程结构演化研究

流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性.     

服务价值三颗“心”

惠普运维服务拥有惠普金牌服务和惠普全心服务两大服务品牌，为中国近十年来IT服务市场的发展与创新提供了不可或缺的先进管理理念和经验借鉴。惠普把给客户的服务价值概括为三颗“心”，即：“安心”、“信心”和“省心”，而这些服务价值则来源于惠普服务在技术、流程和人员领域的三大优势。     

简化操作流程的良方

IT服务目录为IT公司和用户带来了希望，因为这种方法不仅仅能简化IT操作流程，还降低了成本。     

基于抽象服务流程构建集成组件

提出了一种基于抽象服务流程构建集成组件的方法,并运用工作流模式和集成组件实现服务组合的重用,确保了Web服务组合流程设计的正确性及简洁性,同时增加了Web服务组合的可靠性和重用性。     

持续改善IT服务流程

持续性流程改进机制的建立和执行,能够在整个IT部门服务管理流程推广执行中起到重要作用,并确保IT服务管理流程达到预期效果和目标;唯有建立服务改进机制和措施,才能有效地帮助企业IT部门不断向成熟度中更高阶段发展。