售后服务方案和计划

售后服务方案和计划（精选8篇）

篇1：售后服务方案和计划

售后、维修和服务计划/方案

工程保修承诺

1.1保修承诺

针对本工程精装修项目，我公司将按国家有关保修规定和协议书条款约定的项目以及竣工验收的范围，自竣工验收完毕之目的第二天起进入保修期。本工程保修期：

1.防水工程为5年； 2.其他工程为2年。1.2服务宗旨

全方位、全过程（工程开工前期、工程施工中期、工程保修期、保修期结束后）为业主提供“完美服务，使用户满意”是我公司的企业宗旨，是工程项目施工管理中始终遵循的原则。目的在于完善产品的质量和售后服务，创造优质、全方位的服务。我公司将以一流的管理、一流的技术、一流的施工、一流的服务去实现我们对业主的承诺，创建用户完全满意工程。

1.服务原则：站在业主的立场上考虑问题、解决问题，把业主的需求和满意放到一切考虑因素之首，同时兼顾企业的利益，使业主利益与企业利益相得益彰。

2.服务标准： 服务热情周到 信息交流畅通 反应快速准确 质量保证完善 1.3保修项目内容及范围

1.工程施工阶段服务目标

在工程施工及管理的全过程中，完成业主对项目明确的和潜在的服务需求，以达到工程预定的工程质量目标，实现对业主的承诺。

2.工程竣工后服务目标

保证装修工程的安全和使用功能及装修质量，协助业主对进行全面的维护，并保证业主对于使用功能的改变而进行装修改造服务。3.服务的内容及范围

根据招标文件、图纸及清单报价中的由我方负责全部施工的范围。

工程维保修服务体系

2.1管理体系

我公司本着“用户至上、竭诚服务"的宗旨，对已竣工的工程进行保修，维修部内设置部门经理一名、装饰维修负责人一名，机电维修负责人一名，下设装饰工程维修组和机电维修组。公司工程技术部、物资采购部配合维修部的工作。各专业维修组成员由工作认真负责、经验比较丰富、技术水平比较好的技术工人组成。公司维修部在工程交付使用后的保修期内，配合业主做好各种保修工作，同时，将向业主提供详尽的技术说明资料，帮助业主更好地了解装修工程在使用过程中的注意事项。2.2维保修人员配置

1.在工程交付后使用前，本公司将组织本工程相关专业人员对业主的物业管理人员进行一次设备、设施操作及维护保养方面的专门培训，同时向业主提供针对本工程的《用户使用说明书》。以确保业主的物业人员在工程投入使用后立即可独立进行必要的设备和系统操作、维护和故障的排除。本工程中材料种类繁多．设备配备复杂，各种材料的特性各不相同，如维护保养不当，极容易造成质量方面的问题。

2.培训时，本公司安排工程技术人员主要向业主相应讲解、介绍材料特性、维护方法、工序构成、施工要点、质量标准、检修注意事项、成品保护等方面的内容，设备的使用由厂家的技术人员进行详细讲解和操作示范，使业主相关人员初步了解工程状况，并具备简单操作能力。具体培训计划由项目经理部根据业主要求程度安排实施。

3.编制工程使用说明书

工程完工后，我们将编写相应的工程使用说明书，包括操作说明及维修方案，真实、完善、详尽的反映本工程的实际情况，并经业主审核后交于业主使用，说明书还会附带一些工程分项的保养及防护。如：石材的通常保养知识，涂料污染的处理方法等。保修工作流程与程序

3.1保修工作流程

在保修期内公司维修部充分听取业主的意见对业主提出的质量问题，认真分析、研究、制定维修方案，提前准备好配料和材料，以便及时响应，尽早解决问题。对有可能出现问题的部位仔细排查，具体问题如：石膏板墙、顶开裂；四周开胶、翘边；五金件的使用情况，比如螺丝松动、开关不灵活等；地面瓷砖空鼓等问题，分析原因逐项处理，使用当中维修还应注意以下问题：噪音的产生；有味气体的扩散；电源线的合理分配等。公司工程技术部将对保修工作进行技术指导，质量检查部进行过程监督、质量控制，物资部及时供应保修工作所需用的材料、机械、工具，全力以赴组织维修工作。如业主提出的保修要求与合同规定有出入时．公司工程部和经营合约部负责处理解释，做到令业主满意。3.2工程保修程序

建立完善的用户服务信息管理档案，系统的、全面的为业主服务。1.健全项目工程施工档案

全面系统的记录施工期间的工程内容。在新开工程的前提下，建立工程施工档案，从工程开始就着手进行用户服务。在施工过程中依托经理部同业主进行沟通，对施工过程中服务工作跟踪调查，摸清业主思路，为产品的生产过程和产品的使用过程的服务工作明确服务的方式和方法，同时搜集施工过程中有关资料，保证工程保修服务工作连续性和可靠性。工程施工档案的内容包括：

（1）工程施工的总体进度。（2）施工隐蔽部位的照片。

（3）施工组织设计及专项的施工方案。（4）主要分部、分项工程的质量数据。

（5）工程使用的主要材料和设备种类施工用重要材料说明。（6）施工验收记录意见。2.建立工程保修档案

在工程保修期间记录工程使用情况，对发生问题提出处理意见，真实反映我们工程质量和存在问题，以提高工程在施工过程中的质量管理能力。工程保修档案的内容包括：（1）项目工程保修合同。（2）项目工程业主名单及联系人。

（3）工程施工各配属单位和保修项目及联系人名单，保修金额。（4）工程维修记录。（5）工程回访计划。（6）保修金回收记录。

（7）保修金支付记录（分包的保修金支付）。（8）用户服务记录。3.建立工程技术信息档案

（1）提供业主有关建筑方面的咨询，如二次装修和再建工程的咨询。（2）收集各类工程质量监控和问题处理方法，以便更好的服务于业主。

维保修措施

1.指定专人负责工程的用户服务工作。项目经理是工程施工阶段用户服务工作的第一责任人；保修期内，用户服务部指定专人负责保修工作。

2.物资质量保证：公司物资部负责物资统一采购、供应与管理，并根据ISO-9001质量标准和总部物资采购手册，对本工程用户服务期间所需采购的物资进行严格的质量检验和控制。

3.技术措施保证：我公司人员、管理技术含量大，具有技术优势的多个专业化公司，以这些实力雄厚、装备精良的专业化公司作为用户服务的支撑和保障，为用户服务实现质量目标提供了专业化技术手段。充分利用公司及分公司的技术优势，为用户服务实现质量目标提供专业技术保障。

4.劳动力素质保证：公司将选择一支高素质、高技能的专业施工班组从事工程的用户服务工作。同时，我们有一整套对施工班组的管理和考核办法，对施工单位进行严格的管理，从根本上保证劳动者的素质。

篇2：售后服务方案和计划

为深入贯彻落实科学发展观，紧紧抓住医疗行业社会主义核心价值体系，以方便人民群众看病就医和提高健康素质为主要内容，在医院广泛普及志愿服务理念，大力弘扬志愿服务精神。同时，在全社会营造尊重精神疾病患者、尊重医务人员的良好氛围，努力构建和谐医患关系。结合我院实际情况，特制定以下工作计划。

一、基本目的1、组织院外志愿者，尤其是医学院校学生积极参与我院医疗服务，为患者及家属提供全方位服务，推动我院医疗服务质量的进一步提升。

2、着力完善“院外志愿者服务”体系，探索“院外志愿者服务”的长效机制，推动院外志愿者服务深入开展。

二、基本原则

1、坚持以奉献爱心、服务患者为主题，始终把公益性放在首位，充分体现志愿医疗服务无偿、利他的基本要求。

2、坚持全面动员、广泛参与，动员社会各界力量尤其是医学院校学生成为我院医疗服务的志愿者。

3、根据患者及家属的情况，结合主管医生的意见和学生志愿者所学专业，有针对性地设计活动项目，做到量力而行、务求实效。

4、坚持志愿医疗服务与实现志愿者个人发展相统一，让学生志愿者在奉献爱心的过程中经受锻炼、增长才干。

三、服务内容

1、组织医学院校学生志愿者，利用休息日为门诊、急诊患者提供包括导医、导诊、预约诊疗、咨询、护送去病房、取药、陪同检查、取送检查检验报告单、健康教育等服务。

2、组织院外志愿者为住院患者提供一般生活护理、院内安抚、院外购物、陪同检查、咨询、健康教育、阅读报刊杂志等。

3、组织医学院校学生志愿者利用休息时间和节假日到社区、乡村、医疗卫生机构，为城乡居民提供诊疗、健康教育、咨询、预约诊疗等服务。

4、组织志愿者积极参加精神卫生日、助残日、志愿者日等一系列主题性活动，为广大城乡居民提供健康教育、咨询、宣传、诊疗等志愿服务。

5、组织社会各界志愿者与患者及家属开展联谊活动。

6、以“12〃5”（国际志愿者日）为契机，选择相应的主题，在医院内外开展针对性志愿医疗服务活动。

四、活动要求

1、加强组织领导，由社工部负责院外志愿者的相关事宜。

2、开展宣传发动。在医院内外普及志愿理念，大力弘扬志愿精神，形成关心、支持和参与志愿医疗服务的良好氛围。通过丰富多彩文化活动，展现志愿者的良好风貌和高尚情操，形成有利于志愿医疗服务的文化环境。

3、注重活动实效。要结合我院实际，循序渐进开展活动，确保活动取得实效。从简单易行的内容做起，积累经验，逐步发展到全方位开展志愿医疗服务活动。

4、完善保障措施。医院要制定相关措施，鼓励、支持社会各界志愿者参与志愿者服务活动。

五、组织管理

1、志愿医疗服务组织按照相关规定开展服务活动，院外志愿者的招募、登记、培训、考核等要有章可循，医院要为志愿者提供必要的帮助。

2、医院社工部负责组织招募、培训、管理志愿者，公告志愿医疗服务项目和志愿者条件、服务内容等。所招募的志愿者应符合相应服务所需要的条件。

3、建立医疗服务志愿者的服务登记和激励制度，鼓励医务志愿者长期参加志愿医疗服务活动。对表现优秀的志愿者，医院给予相应的奖励。

4、医院相关部门要采取有效措施维护志愿者的合法权利。

六、督导考核

1、医院要建立“医务人员志愿者服务”活动督查指导和考核评价制度，定期或不定期地对参加志愿医疗服务的志愿者进行考核，开展经常性的督导和考评活动。

2、在医院人员的招聘过程中，同等条件下优先录用在志愿医疗服务活动中表现突出的医学院校毕业生。

六、活动安排1、2010年第四季度：成立“院外志愿者服务”工作组，召开专题会议进行部署。并根据我院具体情况，制定工作计划。

2、2011年第一季度：社工部负责志愿者的招募、培训与管理。

3、2011年第二季度起～2011年年底：以院外志愿者为骨干，广泛深入开展志愿医疗服务活动，探索开展院外和其他内容范围的志愿医疗服务活动，并完善相关工作机制，加强组织和制度建设。

3、2012年第一季度：召开“志愿者医院服务活动”阶段性总结会议，总结经验，为以后开展服务提供借鉴。

篇3：售后服务方案和计划

作为NL-Alert计划的一部分, 荷兰的运营商已签订合约, 安装可与政府NL-Alert基础架构整合的小区广播技术。根据该计划, 荷兰所有紧急援助组织将能够向特定潜在威胁场所或公共安全指导下的所有手机用户发送紧急警报。

KPN的一位发言人评论说:“对于这样一项大规模的全国性部署, 我们希望能够与对通信和小区广播领域有着深入了解并且能够帮助我们执行同类最佳解决方案的合作伙伴合作。Acision在移动通信方面的知名经验与one2many可靠小区广播解决方案的合作对于我们来说是一项独特的价值主张。不但one2many的解决方案是市场上部署最广泛的系统--该解决方案已推出逾15年之久, 而且Acision和one2many都是高度专业的组织, 在仅仅六个月的时间内提供了全方位双位整合。”

Conict Consultants董事总经理、负责NL-Alert执行的政府项目经理John Tacken则评论说:“荷兰政府在执行NL-Alert系统方面处于欧洲领先地位。小区广播解决方案是在现有警报器系统基础上做出的巨大改进, 现有警报器系统只能够为人们提供有关正在发生事实的警报, 却不能提供有关如何反应的建议。小区广播是公认理想的NL-Alert解决方案。该解决方案具有及时性, 可根据移动用户当时所在的确切位置即时向他们发送数百万条消息, 且不会出现通过其它移动渠道发送所产生的拥堵问题。NL-Alert预计将于2011年年底投入使用, 我们预计该计划将会非常成功。”

Acision首席执行官Jorgen Nilsson表示:“能够为one2many部署小区广播解决方案提供支持以及参与这样一项在荷兰提供领先公共报警系统的关键计划是对所有参与方的极大认可。通过使用小区广播通信, 荷兰政府现可将一条消息传达至许多移动用户的手机, 必要的时候甚至覆盖整个国家并确保个人在需要时能够拥有可用的必要信息。这再次凸显了通信在为大众传达消息方面的力量。”

one2many董事总经理Maarten Mes评论说:“能够与Acision和KPN就这一重要计划展开合作, 我们感到非常荣幸。能够获得这份合约反映了one2many拥有市场上最成熟的小区广播价值主张并能够与运营商携手高效将该解决方案整合进运营商网络和第三方基础架构的事实。荷兰现在拥有通过提供及时准确的信息确保公共安全所需的基础架构, 我们相信这一情况将会为全球其它国家带来巨大好处。”

篇4：售后服务方案和计划

赵勇：专项设置主要围绕党政中心大局、西部基层经济社会发展实际需要和青年学生的服务意愿等，凸显西部计划志愿服务特点。2012年西部计划全国项目继续实施基础教育、农业科技、医疗卫生、基层青年工作、服务新疆、服务西藏、基层社会管理等7个专项，稳步推进服务新疆、服务西藏两个专项。

基础教育专项志愿者原则上在县乡中小学从事教学及教学管理工作；农业科技专项志愿者原则上在县乡农业、林业、牧业、水利等技术单位从事农业科技工作；医疗卫生专项志愿者原则上在乡镇卫生院以及部分县级医院、防疫站从事医疗卫生工作；基层青年工作专项志愿者原则上在县级团委从事加强团的基层组织建设、促进青年就业创业、预防青少年违法犯罪、维护青少年合法权益等工作；服务新疆、服务西藏专项志愿者原则上围绕西藏、新疆、兵团的经济社会发展需要，在基层单位从事基础教育、农业科技、医疗卫生等服务；基层社会管理专项志愿者原则上围绕西部基层社会公益、社会保障、社会福利、法律援助、扶贫开发、金融开发等公共服务需求及党政、司法、综治等工作需要开展服务。

《教育与职业》：入选大学生在西部地区的服务年限是如何规定的？

赵勇：西部计划志愿者服务期具有一定的灵活性，首次签约期为1年或3年。签约1年的志愿者在服务期满后可以于下一年度3月向服务县项目办提出延期服务申请。

根据《关于统筹实施引导高校毕业生到农村基层服务项目工作的通知》（人社部发〔2009〕42号）和《关于开展从大学生“村官”等服务基层项目人员中考试录用公务员工作的通知》（人社部发〔2010〕52号）等文件精神，参加西部计划到基层服务，服务期满考核合格的计算基层工作经验，服务满两年且考核合格的可享受参加相关公务员定向考录等相关优惠政策。各地要根据公务员考试需具备两年及以上基层工作经历的新规定，在保持“服务期1到3年”选择空间的基础上，推动更多的志愿者选择两年以上服务期。

按照国家有关规定，自2009年开始，对毕业于中央部属高校的应届毕业生参加西部计划并到西部地区县以下农村基层单位履行3年服务期限的毕业生实施相应的学费和助学贷款代偿。首次签约1年而后延长至3年服务期的，不享受学费和助学贷款代偿政策。具体由今年符合条件的新入选志愿者向本人毕业高校学生管理资助中心等相关机构申请办理。

《教育与职业》：志愿者入选后，其奔赴的服务地按照什么原则确定？

赵勇：西部计划实行按需招募，对口支援服务。在服务地的确定上，东、中部省份招募的志愿者原则上集中到对口支援的西部省份服务，西部省份招募的志愿者原则上将在本省服务。在外省就读的高校毕业生可回原籍所在省参与服务。另外，今年服务新疆专项面向全国招募，凡符合报名条件的应届毕业生和在读研究生，都可报名赴新疆或兵团服务。

《教育与职业》：请你介绍一下志愿者招募方式，省内招募和跨省招募有什么区别？

赵勇：各地可按照惯例，以一人一岗原则按需招募；有条件的还可组织有关高校与对口受援县直接进行岗位对接；也可依据服务省提出的对志愿者专业总体需求招募，由服务省项目办在志愿者集中培训报到时或到达服务地后进行岗位对接。

志愿者报名期间，在服务岗位的选择上，只需依次确定服务省、服务县和服务专项类型的意向即可，具体服务岗位由各地项目办在志愿者到达服务地后根据志愿者所报意向并结合志愿者专业特长统一协调分配。

服务省直接接收在外省就读的本省生源毕业生报名，服务新疆专项接收非对口招募省的高校毕业生报名，都计入本省招募指标和派遣指标。跨省回原籍和非对口招募省参加服务新疆专项的志愿者需注意以下几点。

1.跨省回原籍服务的志愿者和非对口招募省参加服务新疆专项的志愿者在被高校审核合格后，须通过电话及时联系原籍所在省级项目办或新疆项目办，确定是否接收。

2.志愿者原籍所在省级项目办和新疆、兵团项目办负责定期汇总外省回原籍服务的志愿者信息，第一时间通报志愿者就读高校所在的省级项目办，协调落实相关工作。一是通过审核、面试、体检、录取等过程选拔志愿者；二是回原籍服务的志愿者同样享受就读高校所在地鼓励高校毕业生到基层服务的相关政策；三是及时准确地进行岗位对接操作。

3.体检由志愿者高校所在省级项目办负责，体检费用按照《关于印发<2011年大学生志愿服务西部计划实施方案>的通知》（中青联发〔2011〕12号）由全国项目办在志愿者到岗后按照各省实际到岗人数110%一次性拨付给志愿者所在高校招募省项目办。

4.志愿者在被录取、收到确认通知书后，须及时与原籍所在服务省项目办或新疆、兵团项目办联系。

5.服务省项目办在确认接收外省回本省服务的志愿者后，须与入选志愿者建立联系，做好报到、培训等工作。

《教育与职业》：各部委在经费支持和政策保障方面都有哪些规定？

赵勇： 1.生活补贴和交通补贴。志愿者服务期间，中央财政给予一定生活补贴。从2012年8月起，生活补贴为每人每月1000元。同时，志愿者所在地列入国家艰苦边远地区津贴范围的，执行所在地科员艰苦边远地区津贴标准，按月发放。交通补贴按志愿者家庭所在地和服务地之间的实际里程发放，每年分两次发放。

同时，根据人社部发〔2009〕42号文件规定，“大学生志愿服务西部计划”已列入相关待遇规定范围。各省（区、市）项目办要根据《通知》第三条和第八条的规定，商地方政府财政等部门协调解决西部计划志愿者达到本地乡镇机关从高校毕业生中新录用公务员、事业单位从高校毕业生新聘用工作人员试用期满后工资收入水平，确保文件精神落到实处。志愿者所在服务县、服务单位要帮助他们解决生活、工作中遇到的实际困难和问题，有条件的可给予志愿者适当补助。

2.志愿者人身意外伤害、医疗保险费用。相关保险由全国项目办统一投保大学生志愿服务西部计划志愿者综合保障险。保费每人350元人民币。人身意外伤害、身故（含疾病身故）保险责任，保额30万元，住院医疗保险责任，保额30万元，疾病门诊责任，保额1万元。

政策保障方面，2012年大学生志愿服务西部计划志愿者按照《关于实施大学生志愿服务西部计划的通知》（中青联发〔2003〕26号），《关于做好2004年大学生志愿服务西部计划工作的通知》（中青联发〔2004〕16号）、《关于统筹实施引导高校毕业生到农村基层服务项目工作的通知》（人社部发〔2009〕42号）等文件有关精神享受相关政策。

有关报考研究生和报考公务员等相关政策以人社部发〔2009〕42号文件为准。一是参加西部计划的，服务期满2年且考核合格的志愿者，3年内报考研究生，初试总分加10分，同等条件下优先录取。二是志愿者服务期满2年且考核合格的，报考公务员等享受相关优惠政策。三是出省服务的和在本省服务的志愿者优惠政策必须保持一致。同时，各省级团委及项目办要按照《关于开展从大学生“村官”等服务基层项目人员中考试录用公务员工作的通知》（人社部发〔2010〕52号）等文件精神，协助省级人力资源和社会保障部门落实相关规定。四是按照国家社会保险和统筹高校毕业生基层服务项目人员参加社会保险相关文件规定，推动西部计划养老保险工作。

篇5：售后服务方案和计划

XXXXXXX关于夏季人口和计划生育集中服务

活动实施方案

为进一步提高计划生育优质服务水平和育龄群众参与计划生育的积极性，开创计划生育工作的新局面，根据本单位计划生育工作开展情况和上级要求，决定从9月1 日至10月15日集中精力在XXX开展夏季人口和计划生育集中服务活动，特制定本实施方案。

一、指导思想

本次人口和计划生育集中服务活动的指导思想是：以贯彻落实科学发展观为指导，积极响应落实市委、市政府“三个体系”建设精神，以强化政策法规宣传、强化基础信息核查、强化优质服务开展和热点、难点综合治理等为主线条，以“落实长效节育措施、搞好环孕情查体服务、加强流引产管理”为着力点，通过各种专项活动的开展，进一步澄清底数、强化管理、1

优化服务，提升整体工作水平，为全面完成2012年计划生育工作目标任务奠定坚实的基础。

二、时间安排和方法步骤

这次集中服务活动，具体分为三个阶段：

（一）宣传准备阶段(9月1日—9月3日)

召开动员会议，下发方案，对本单位计划生育集中服务活动进行全面安排部署。明确活动重点，分解工作任务，落实人员责任，利用各种形式，广造舆论，形成声势。

（二）全面实施阶段(9月4日—9月29日)

1、扎实做好夏季育龄妇女查体工作。充分认识这次查体活动的重要意义，把夏季集中活动作为近期中心工作,集中时间，集中精力，采取得力措施,切实把活动抓出成效。特别是要把视线重点盯在在孕跟踪服务对象、双女户、独生子女户和那些没有及时进站查体的已婚育龄妇女上。严格按照《XX市人口和计划生育环孕情查访服务管理规范》，进一步规范查体工作，严格把好入口关、查验关、签字关、出口关，查体时要派专人认定核实被查育龄妇女信息，防止顶替查体问题的发生。认真组织开展好夏季育龄妇女健康查体工作，根据上级指纹查体规范，理顺各项育龄妇女逻辑关系，确保指纹识别查体人人有头像、有指纹，有B超查体图像，对查体中发现的政策内怀孕人员，信息要及时上报；政策外怀孕对象,要坚决采取补救措施。对没有进站查体的，都要详细登记，查明原因，是流动人口的及时索要有关证明，并注意辨别证明的真伪，是常住人口的，要督

促限期到站查体。

2、全面落实长效避孕节育措施。落实长效节育措施是遏制违法生育的治本之策，要严格按照“顺产三个月内、剖腹产七个月内落实长效节育措施”的要求，采取综合手段，动员群众及时落实安全可靠的长效节育措施。总的要求是：生育一孩的采取放环措施，生育二孩及违法生育二孩以上（含非法抱养）的夫妻一方必须落实绝育，对暂不适应和不适宜落实长效避孕措施的人员，必须由市计生服务中心出具的证明。对确实不适应结扎、上环的人员要及时采取其他相应的避孕措施，并做好跟踪服务工作，确保避孕节育措施落实率达到100%。要广泛宣传、重点发动，使群众知道一孩必须上环、二孩必须结扎，对钉子户、重点人，要明确专人，靠上做耐心细致的工作。

3、规范管理阶段。一是进一步整理核实各项档簿资料，规范管理程序。根据查体服务阶段掌握的信息资料和原有档簿资料、微机信息等进行一次全面核对，对超龄已婚育龄妇女及时退档；对新婚妇女及下岗职工、流动人口等特殊人员漏档、漏管的要及时建档，纳入日常管理；对新婚育龄妇女要按照《计划生育服务手册》发放办法中的有关程序进行规范，核对已婚育龄妇女户口本、身份证、结婚证、档簿信息等，做到各种证件与档簿资料、微机信息、公开内容和本人实际相一致。二是落实节育措施，堵塞漏洞。对未采取避孕节育措施的人员要及时落实措施，对计划外怀孕的要及时落实流引产措施，对弄虚作假、擅自选择终止妊娠等违规行为的要严肃处理，对在查体

中发现病症的，要及时告知当事人病情，并协助其采取必要的治病措施。三是进一步完善和规范管理。要及时分析总结这次集中活动发现的情况和问题，找出工作中的不足，有针对性的进行整改。

（三）验收阶段(10月10日—10月15日)

将此次活动纳入单位近期重大事项范围，成立夏季人口和计划生育集中服务活动领导小组，实行一周一通报，不定期进行检查督导，加大明查暗访力度，及时掌握集中活动进展情况，坚决查处弄虚作假行为。

三、加强领导

开展好夏季计划生育集中宣传与服务活动，对于做好下半年的计划生育工作至关重要。为此，XXX成立由主要领导任组长，分管领导任副组长，有关科室负责人为成员的夏季人口和计划生育集中服务活动领导小组，加强领导，强化措施，明确责任，确保这次活动取得预期效果。活动期间，将不定期召开会议，调度集中服务活动的进展情况，并接受上级领导小组检查验收。

附：夏季人口和计划生育集中服务活动领导小组人员名单

XXXXXXXXXXX

附件：

XXXXX夏季人口和计划生育集中服务活动领

导小组人员名单

组

副 组

篇6：售后服务方案和计划

各乡镇、开发区，县直各单位：

现将《伊吾县人口和计划生育服务机构体制机制改革创新实施方案》印发你们，请认真遵照执行。

附件：1.全年水电暖费用、车辆燃油及下乡补助和技术人员培训经费表附件：2.伊吾县乡镇转移支付资金分配表

二〇一一年四月十二日

伊吾县人口和计划生育服务机构体制机制改革创新实施方案

为进一步适应新时期人口和计划生育管理与服务工作转型要求，满足广大人民群众对计划生育和生殖健康的需要，依法规范县、乡镇计划生育技术服务工作，提高计划生育技术服务能力和水平，根据自治区、地区有关文件精神，结合我县人口和计划生育技术服务工作实际，制订本方案。

一、指导思想和基本原则

（一）指导思想

以全面贯彻落实中共中央、国务院《关于全面加强人口和计划生育工作统筹解决人口问题的决定》精神为指针，以满足广大基层群众日益增长的生殖健康、计划生育服务需求为目标，以提高服务效能，增强创新能力为重点，以完善目标责任制管理和规范化服务为手段，按照“技术优良、服务优质、管理优秀、环境优美、群众满意”的要求，加强服务站建设，充分调动技术人员钻研业务、开展服务的积极性和创造性，不断加快县乡计划生育服务站所建设，增强服务功能，提高服务质量，拓展服务领域，促进县乡服务站步入良性的发展轨道。

（二）遵循的原则

1、坚持完善机构，强化职能的原则。通过改革，不断壮大计划生育服务机构，提高服务站整体功能，强化站（科室）职能职责，保障群众享受基本的生殖健康服务。

2、坚持公益性服务，计划生育服务站全额拨款的公益性事业单位性质不变，加大对人口和计划生育服务机构建设的投入力度。

3、坚持加强管理、提高效益的原则。坚持民主办站的方针，充分发扬民主，完善管理手段，强化目标责任，实行技术人员工作绩效与工资待遇相挂钩，充分调动技术人员的工作积极性，提高人口和计划生育服务机构的整体效益。

4、坚持以人为本，优质服务的原则。贯彻以人为本的理念，扩大服务领域，提高服务质量，尽最大可能满足广大群众的服务需求，使广大育龄群众在服务站改革、发展中得到更多的实惠。

5、坚持公开、平等、竞争、择优的用人原则。进一步优化站所队伍结构，合理配置人才资源，建立具有生机和活力，有利于优秀人才脱颖而出的用人机制。

6、建立资源共享机制，合理配备和有效利用资源，实现优势互补、共同发展的目标。

二、总体目标

力争用两年的时间，逐步建立起符合人口和计划生育服务机构工作特点的政事职责分开，行政部门依法监督，运行顺畅，人才结构合理，工作效率和工作质量明显提高，社会效益和经济效益显著的管理新体制，形成以县级服务站为龙头、中心乡服务站为骨干、普通乡服务站为依托、村服务室为基础、流动服务车为纽带的基层公共服务平台，把县、乡人口和计划生育服务机构建设成为当地公共服务的优质资源，成为群众接受计划生育、优生优育、生殖健康服务的首选单位。2011年，启动伊吾县人口和计划生育服务机构体制机制改革工作。县、乡服务站技术人员所占比例不低于80%，每个县站至少有1名高级职称的专业技术人员，3至5名中级职称的专业技术人员，70%以上的专业技术人员具有法定执业资格；每个中心站有1名以上具有临床执业（助理）医师资格的专业技术人员，1名具有执业护士资格的专业技术人员，1名专兼职宣教人员；普通乡站至少有1名执业（助理）医师资格的专业技术人员。

到2013年，新的体制机制基本建立，并取得显著成效。同时形成一支结构合理、服务优良、管理科学、精干高效的职业化技术服务队伍，技术人员全部取得相应的技术职称或执业资格，服务机构的社会效益、经济效益明显提高，适应人民群众多元化需求的人口和计划生育服务体系基本形成。

三、改革创新内容及重点

（一）改革运行机制，进一步明确和落实“法人”职能职责

1、进一步落实“法人”地位。县计划生育服务站站长为本县计划生育技术服务第一责任人，负责全县计划生育技术服务工作。实行 “管理规范统一制定，人员统一调配，资金统一管理，工资统一发放，药品统一配送”的“五统一”管理模式，做到物尽其用、人尽其才、资得其益，实现资源共享，优势互补。在技术服务质量管理上，县服务站对乡镇服务站实行直管，县服务站站长为开展计划生育技术服务质量监控的第一责任人。

2、严格技术规程。按照《技术常规》和《质量管理规范》要求，指导、监督乡镇服务站开展技术服务。

3、明确职能职责。依据《计划生育技术服务管理条例》要求，统筹安排县服务站和各乡镇服务站发展目标及工作，并对县乡服务站技术服务人员进行定岗定责。

4、建立健全目标管理责任制。年初，县站同乡镇服务站签订目标管理责任书，每月或每季度对县、乡服务站技术服务人员的业务技能和工作情况进行考评，并兑现奖惩。

（二）改革用人机制，提高计划生育技术队伍整体素质

１、服务站长实行竞聘上岗。在全县各乡镇推行竞聘上岗，实行能进能出、能上能下、优胜劣汰的用人机制。乡镇服务站站长按照学历、职称、工作能力、工作业绩、敬业精神、考核情况进行公开竞聘，聘期为两年，负责服务站的全面工作。

２、技术人员实行双向选择。各乡（镇）技术人员根据双向选择的程序，按照自治区规范化服务站标准进行重新整合，一律实行聘用制，聘用时间为两年，签订聘用合同，确定聘用关系，聘期内进行业务考核与综合考核，考核称职的继

续聘用，不称职的予以解聘。严禁非医学专业人员进入计划生育服务岗位。每个服务站确保一名执业医师或执业助理医师资格人员，一名执业护士资格人员，办理《医疗机构执业许可证》，依照《计划生育技术服务管理条例》规定的范围开展业务。

3、提高计划生育技术队伍的整体素质。

（1）提高技术人员技能和素质。建立月考试季考评年比武考核机制，推进人口计生服务队伍能力建设。要求技术人员积极参加执业资格考试，到2013年，70%以上的专业技术服务人员具有法定执业资格，三年内不能取得相应执业资格证的，不得从事技术服务工作。要不断完善岗位责任制、目标管理制和责任追究制。

（2）强化技术人员继续教育。技术人员在具有医学中专以上学历或初级以上职称的基础上，加强继续医学教育，要求必须取得医学大专以上学历。选送乡镇服务站中具备（或可能具备）执业资质、有培养前途的技术人员，到县医院、县站进行短期培训，到县服务站短期工作（应不短于3个月），针对其业务薄弱环节进行重点培训。并对县、乡镇服务站具备执业资质、有培养前途的技术人员，选送参加自治区科研所举办的批次进修班等短、中期培训，促其提高业务素质和能力，以适应改革发展的要求。

（3）实行专业技术人员传帮带制度。在不改变人员隶属关系的前提下，选派县服务站业务能力较强、具备执业资质的技术服务人员轮流到工作开展较差、人员资质不符合《计划生育技术服务管理条例》要求的乡镇服务所短期工作（不少于3个月），带动乡镇服务站开展业务。

（4）推行专业技术人员准入制度。鼓励、支持不具备执业资质技术人员考取执业资格，对无执业资格者，限期取得执业资格，对经待岗、进修后还无执业资格（含医、药、护）者一律不得聘用。

（三）改革管理机制，强化县、乡服务站的规范化管理

1、以制度规范行为。建立健全《计划生育技术人员管理办法》、《计划生育技术人员考核奖惩办法》、《计划生育技术人员服务承诺》、《计划生育技术人员道德规范》、《值班及交接班制度》、《统计工作制度》、《质量目标管理制度》、《基层指导工作制度》、《随访工作制度》、《护士职责》等制度，严格以制度规范行为，实行规范化管理。对违反制度的技术人员按有关规定予以处理。

2、全面推行目标管理。按照上级业务部门的工作任务和指标，县服务站与乡镇服务站签订目标责任书，量化、细化工作指标，明确岗位职责，把责任落实到人。技术人员完成当年目标管理责任书的情况与年终考核、评先晋级、发放福利等待遇挂钩。对于不具备执业资格、业务水平差、没有培养前途人员，应逐步转岗或清退。考核定为不称职的终止合同，不予聘用。

3、强化医德医风建设。积极开展争做“新时期最可爱的人口卫士”活动，树立敬业爱岗、服务群众、钻研业务、乐于奉献等良好的医德医风，推行服务承诺。对群众反映态度不好、服务不到位的技术人员，一经查实，扣发当月工资；对利用工作职权之便对免费项目及药品私自收费的，一经查实，将根据有关规定严肃处理。

4、按照国家人口计生委服务机构形象化规范，建设舒适、温馨的服务环境。规范县、乡、村人口和计划生育服务机构名称，认真履行人口计生服务站的“八项职能”，即：宣传教育、人员培训、技术服务、药具发放、信息咨询、优生指

导、随访服务、生殖保健。依托人口计生三级服务网络，全面推进出生缺陷干预工作，重点做好免费婚前医学检查、孕前优生检测，有效降低出生缺陷发生率。探索建立名人（能人）效应+广告宣传+新设备+能力建设+现代化管理=社会效益和经济效益的新机制，不断拓展新的服务领域，推广应用新技术、新产品。

（四）改革分配机制，调动技术人员工作的积极性

引进经济管理手段，每年年初县人口委同县服务站、县服务站与乡（镇）服务站签订经济效益目标责任书，把技术人员的工作业绩与绩效工资待遇结合起来，在保证财政工资全额拨付的前提下，实行效益与奖金挂钩。对县、乡服务站中具备执业资格，业务能力强，“一专多能”的技术骨干，且在技术人员考核中排名前列者，增加奖励额度，充分调动技术人员的工作积极性。使技术服务人员奋斗有目标，工作有规则，报酬有保障。

（五）改革财务管理机制，促进人口计生事业健康发展

建立健全财务管理制度，严格财经纪律，加强财经监督，推行成本核算制度，严禁免费服务项目进行收费，非免费服务项目抬高收费，一经发现，按照有关规定追究相关人员的责任。

1、财政对乡级转移支付资金的15%，其中20%核拨到县服务站，县服务站根据考核情况用于补充乡（镇）服务站工作经费。（附表1）

2、县服务站重点加强中心站、普通站的管理，实行财务统管，“县管乡用”，使分散的资金统一调配使用。

3、计划生育免费手术费由县人口委与服务站根据实际工作量结算，统一拨付乡镇服务站。

4、县服务站设立中心药房并严格按照 《药品经营质量管理规范》组织经营，中心药房要按照各乡镇实际需求，采取集中采购方式购进药品，统一配送各乡镇服务站使用和分销，各乡镇服务站不得直接进行药品的采购。药品经营收入统一设立专户，上缴财政统一管理，年底统一核算。

5、医疗设备经医药公开招标统一采购。日常技术服务材料消耗由县服务站统一采购，经费计入技术服务成本。

6、县乡服务站日常运行经费（如水、电、采暖、车辆燃油、设备采购等）编制计划，经费列入县 财政预算按时拨付。（附表2）

7、加强技术人员继续医学教育，采取轮流进修学习的方式，提高技术人员的业务素质和技术服务水平，所需费用由县财政预算列支。（附表2）

三、保障措施

（一）加强组织领导

为使技术服务站运行机制改革工作顺利进行，成立伊吾县服务站改革试点领导小组，全面负责改革工作，精心组织实施，确保综合改革顺利进行。

（二）强化队伍建设

改革和完善用人机制，健全激励约束机制，把思想好、作风正、业务强的专业技术人员选调到计划生育技术服务站工作，进一步加强专业技术人员继续教育，努力建设一支适应形势发展需要的高素质技术服务队伍。

（三）完善管理制度

制定出台《伊吾县人口和计划生育服务体系绩效考核方案》、《伊吾县计划生育技术服务人员继续教育培训实施意见》、《伊吾县计划生育技术人员考核奖惩办法》等文件，以及《计划生育技术人员服务承诺》、《计划生育技术人员道德规范》、《服务站财务管理制度》等配套制度，确保改革工作顺利进行。

（四）加大财政保障力度

把计划生育事业费纳入公共财政预算，建立以财政投入为主的投入机制，确保法律规定的计划生育奖励优惠政策、免费计划生育技术服务项目以及基层工作人员报酬的落实，并随经济发展逐年提高投入总体水平。在财力保障上主要突出以下几个方面：

１、免费手术费、县乡服务站基础设施建设和国家规定所需配备的设备经费除从服务站门诊收入中列支外，不足部分由县财政予以保障；

2、县乡服务站门诊收入全额上解财政专户，县财政统筹后三年内非税收入全额返还，三年后根据非税收入情况核定返还比例，加强县乡服务机构的自我生存和发展的能力。

（五）进一步完善和拓展服务功能，促进优质服务提质提速。

县、乡人口和计划生育服务机构要把满足群众基本生殖健康需求放在首位，坚持以人为本、优质服务的理念，贯彻“面向基层、深入乡村、服务上门、方便群众”的工作方针，由以“坐诊”服务为主转变到以“走诊”上门服务为主，切实承担起“八项职能”。县服务站将主要日常门诊工作全面转向乡（镇）技术服务指导，坚持走特色服务的路子。实行分片包干，县服务站分片包乡（镇），深入基层指导技术服务人员严格按照《常用计划生育技术常规》规范操作，发现问题现场解决，并及时反馈。县、乡服务站确保于2011年成功创建自治区“标准化规范化先进服务站”和2012年实现“数字化”服务站建设，提高工作效率和质量。

（六）加强硬件建设，改善服务环境。

篇7：售后服务方案和计划

服务、送温暖”下基层服务月活动方案

各乡（镇）党委、政府，县直有关部门：

为进一步深入宣传人口和计划生育的政策，贯彻落实自治区新修订的《广西壮族自治区人口和计划生育条例》和各级人口和计划生育各项政策规定，决定在全县开展人口和计划生育“送政策、送服务、送温暖”（以下简称“三送”下基层服务月活动。为确保“三送”活动顺利进行，特制定本方案。

一、指导思想

紧紧围绕争创全区计划生育优质服务先进县这条主线，依

托“幸福家园”村级综合服务平台宣传阵地，大力开展人口形势、国情国策、法律法规和优生优育、生殖保健、免费孕前优生检查等方面宣传教育，引导群众树立科学、文明、进步的婚育观念、建立新型生育文化，促进低生育水平的稳定、人口素质全面提高和家庭和谐幸福。

二、活动目的通过开展“三送”服务活动，使人口和计划生育政策家喻户晓、人人皆知，在全社会形成自觉实行计划生育受奖励、得实惠的浓厚氛围，从根本上转变群众的婚育观念，促进人口和计划生育工作健康发展，为争创全区计划生育优质服务先进县营造良好的舆论氛围。

三、活动时间

2012年8月1日－8月31日。

四、活动内容

广泛深入人口宣传计生法律法规和政策、诚信计生、利益导向政策、免费康检、免费孕前优生检查、优生优育、生殖保健等知识。

五、活动形式

1、印发宣传资料。各乡镇要根据新《条例》内容及各项计生政策法规、优质服务、应知应会知识，印制通俗易懂的宣传资料，发到每家每户，要求宣传资料发放入户率达100%。

2、做好环境宣传。建设宣传示范点，每个乡镇要建立1一2个“幸福家园”示范村和完善村级新家庭文化书屋，乡镇、村（社区）要出一期新的计生政策和利益导向政策、优生优育宣传栏，制作永久性标语3至5条。要及时规范清理、更换旧的宣传广告牌、永久性标语。

3、组织一次宣传服务周活动。各乡镇要在8月31日前开展一次宣传服务周活动，活动要采取举办育龄群众免费康检妇检、孕前康检、政策咨询、现场发宣传资料等形式，提高宣传效果和影响力。

4、开展为民办实事活动。要充分利用各种有利时机，开展多种形式的为民办实事活动，组织工作队进村入户开展面对面、人性化、针对性强的科普教育和咨询服务，让广大群众普遍了解新形势下的计生政策，掌握优生优育、避孕节育、生殖健康等科普知识、树立计划生育工作者可亲、可近的新形象。要求进村入户宣传率要达100%。对计生困难家庭要进行慰问，帮助其解决困难。每个工作队员要为育龄群众办一件实事，解决一个实际问题。

5、强化媒体宣传。县广播电台、电视台要加大人口和计划生育政策的宣传力度，及时报道各乡镇活动开展情况，并利用在新闻后插播计生宣传标语、滚动字幕等开展宣传。

六、活动要求

1、制定方案。各级各部门领导要高度重视，各乡镇要制定开展“三送”活动方案，落实责任，确保活动顺利进行。

2、抓好培训。按照分级培训原则，抓好对乡、村干部及相关人员进行新《条例》培训，掌握新时期的人口计政策，提高各级部门干部的政策水平。

3、加强指导。活动期间，县直单位和乡镇直单位要派出工作组深入挂钩乡镇、村，指导乡镇、村开展“三送”宣传服务活动，促进“三送”活动深入开展。

4、加强督查汇报，县委政府将派出专项督查组对此次计生“三送”活动进行督查，并将此项活动情况列入年终计生考核内容。各乡镇要及时收集开展“三送”活动进展情况，按《博白县开展人口计生“送政策、送服务、送温暖”活动情况统计表》内容要求，每周五下午5点前向人口计生局宣传股（电话：8223178，传真：8225718）报送一次工作进度，并于9月5日前将“三送”活动服务月活动情况统计表和工作总结报县人口与计划生育领导小组办公室。

附：

1、计生宣传标语

2、博白县开展人口和计划生育“送政策、送服务、送

温暖”活动情况统计表

博白县人口和计划生育领导小组

2012年7月20日

计生宣传标语

1、认真贯彻落实《广西壮族自治区人口和计划生育条例》

2、倡导科学婚育新风，构建和谐社会，统筹解决人口问题

3、自觉实行计划生育，促进家庭美满幸福

4、少生快富和谐路，优生优育幸福家

5、昨天实行计划生育少生优生，如今享受奖励扶助幸福一生

6、今天您光荣实行计划生育，明天你幸福享受奖励扶助

7、推行诚信计生建设幸福家园

8、推行诚信计生建设和谐社会

9、关爱女孩就是关注民族未来

10、树立婚育新风为你幸福传播科普知识保您健康

11、严禁进行非医学需要的胎儿性别鉴定

12、严禁进行非医学需要的选择胎儿性别人工终止妊娠

13、增强自我保健意识，提高生殖健康水平

篇8：售后服务方案和计划

Web服务是一种基于网络的、分布式的模块化组件。由于单一Web服务功能有限，所以需要将不同的Web服务进行组合，提供更为强大的功能，满足不同用户的需求[1]。由于Web服务组合常用于跨平台、跨组织的分布式环境，服务组合在执行过程中可能会受到通信模式的变化、服务基础设施失效等问题的影响，所以有必要对Web服务组合的有效性和可靠性进行验证[2]。

目前，Web服务组合的验证方法主要包括模型检查、Petri网、Pi-演算、遗传算法、行为时序逻辑（TLA）和基于推理的交互时序逻辑等[3]。文献[4]提出一种Web服务组合的正确性验证方法，即采用软件体系结构描述语言XYZ/ADI，描述Web服务组合，其性质（规范）用CTL公式表示，最后用模型检测工具UPPAAL验证Web服务组合的正确性。文献[5]提出一种基于Petri网理论的Web服务组合建模方法，即对服务组合进行形式化建模，通过分析Web服务网的可达性和活性验证Web服务组合。文献[6]利用Pi-演算对Web服务组合建立形式化模型，定义了Pi-演算到BPEL4WS的概念映射，给出了基于Pi-演算的形式化描述。然而，这些方法都有自身的缺陷，例如：中间语言的参与、无法捕获递归组合、更多的时间和空间复杂性等。

模型检测（Model Checking,MC）是一种形式化验证方法，用状态迁移系统表示系统的行为，用时序逻辑公式描述系统的属性[7]。这样“系统是否具有所期望的属性”就转化为数学问题“状态迁移系统是否是公式的一个模型”。模型检测方法具有自动化程度高、能够提供反例路径等优势，被广泛应用于Web服务组合相关属性的验证[8]。然而随着系统规模的不断扩大，这种以穷尽搜索为基础的方法将会产生状态空间“爆炸”问题，成为验证大规模系统的瓶颈[9]。

本文采用模型检测方法，并对其存在的缺陷，提出一种新的形式化模型来推理和动态验证Web服务组合。利用提出的Web服务集分组（Web Service Set Grouping,WSSG）算法将候选Web服务划分为几个子集，并将这些子集组成Web服务集分组图（WSSG图），作为系统的抽象模型；然后，将该模型转换为交互轨迹的集合，来推理系统需要的预期交互规范，并利用线性时序逻辑（Linear Temporal Logic,LTL)[10]来描述交互规范；最后，通过检测系统模型是否符合交互规范来验证组合模型的可行性。本文服务交互验证方案主要包括两个部分：Web服务组合系统建模和Web服务组合验证。

1 Web服务组合建模

本文基于候选Web服务的调用顺序，利用提出的WSSG算法将Web服务集W分组成多个子集，并根据调用轨迹将其建模成一个WSSG分组图，将一个满足不相交性及正交性的WSSG图作为本文Web服务组合的抽象模型。

系统建模中，本文从Web服务描述语言（WSDL)[11]文件中提取两类信息：Web服务的活动和通信模式。通过规格化这些信息集，使抽象模型更加精细，降低建模和验证过程的时间复杂度。

1.1 Web服务集分组

令W={w1,w2,...,wm}为Web服务的一组有限集合，作为组合场景，本文给出如下定义：

定义1可调用服务集（SIPS）。令“↦”表示可调用服务的符号；表示wi可以正确地调用wj和wk。给定一个Web服务wi∈W，则wj的可调用服务集描述为SIPS(wi)，其中SIPS(wi)∈2W,

定义2服务调用链启动器。服务调用链启动器表示为一条调用链的起点，当且仅当SIPS(wi)≠∅且不存在wj∈W:wi∈SIPS(wj)时，则Web服务wi∈W称为服务调用链启动器。

定义3孤立Web服务。当且仅当SIPS(wi)=∅且不存在wj∈W:wi∈SIPS(wj)时，则Web服务wi∈W称为孤立服务。

为了分析集合W，本文将W分组成n个子集S={S1,S2,⋯,Sn}，其中n<2|W|，S⊂2W,Web服务集分组（WSSG）伪代码如下：

1.2 Web服务集分组图（WSSG图）

Web服务集分组图描述了由WSSG算法获得的所有分组子集和可调用服务。在WSSG图中，每个Si∈S均为多元素节点，将可调用服务表示为从一个Web服务到另一个Web服务的有向边，其中具有两类有向边：虚线箭头和实线箭头。虚线箭头表示在箭头首端的服务是有用的，但不能正确地被箭头末端的服务调用；实线箭头表示箭头首端的服务可以正确地被箭头末端的服务调用。WSSG图可分为两种不同的视图：整体视图和部分视图。

整体视图：整体视图是包含第一分组集S1中所有启动器的视图。图1描述了Web服务组合场景中的整体视图。其中，所有服务都可被集合S1中的任何服务调用，并以有向边的形式表示在第二子集中，一个服务可以调用几个子集中的服务。

部分视图：部分视图是从整体视图中提取获得，只包含来自第一集合S1中的一个特定启动器所启发的调用视图。图2描述了启动器w1j的部分视图，通常以一个启动器作为根节点形成一颗树。

1.3死锁避免

本文以一个满足不相交性和正交性的WSSG图作为系统抽象模型，该模型可以避免通信死锁现象。不相交且正交的WSSG图需具有以下属性：

P1.∀Si∈S:Si≠∅（所有分组集都不为空）。

P2.∀wi∈S1:{(SIPS(wi)≠∅)∧(不存在wj∈W:)}（分组集S1是启动Web服务的集合）。

P3.（对应于单一启动器的分组集是不相交的）。

P4.，其中n>1（每个后续分组集Sn∈S（除第一分组集S1）是子集或等于前面分组集中每个元素的可调用服务集的交集）。

P5.(W非完全分组，意味着W中存在没有参与分组的孤立服务）。

定义4对于Web服务集W的一个WSSG图G，若满足P1～P5属性，则不会导致通信死锁。

证明：假设G|=(P1～P5)，在G中会发生死锁。

设定调用命令在G中形成一个死锁循环。由于，所以wi为一个没有启动器的服务。令wig为一个启动器，所以wi位于一个由wig生成的轨迹上。这意味着，wj,wk和wl都落在同样的轨迹上，正如本文假设。令S1,S2,⋯..,Sn为与启动器wig相对应的分组集合。令wi∈Si,SIPS(Si)=Sj,SIPS(Sj)=Sk及SIPS(Sk)=Sl，这意味着wi∈Sl。但是，本文已经假设wi∈Si，这意味着。这个结果与P3属性相矛盾，所以上述假设不成立。

1.4轨迹包含及合并

服务调用轨迹是一个单向树V,E，树顶代表Web服务，树边代表服务调用，箭头代表工作流的方向，表示每个顶点与两个边的连接（一个输入，一个输出），第一个（根）和最后一个（叶）顶点除外。换句话说，轨迹是一个线性的Web服务组合工作流路径。对于轨迹，本文给出2种行为定义：轨迹包含和轨迹合并。

轨迹包含：轨迹包含指一个轨迹对另一个轨迹的控制，分为以下两类：

(1）总轨迹包含：当一个轨迹的根（例如wi）出现在由另一个根（例如wj）生成的轨迹中时，那么，wj包含了由wi生成的所有轨迹。通过计算总轨迹包含，可以在轨迹上执行一些搜索操作时，避免多余轨迹。

(2）部分轨迹包含：由不同启动器生成的多个轨迹中，如果一个轨迹的一部分在所有其他轨迹中是共享的，则就形成部分轨迹包含。例如，图1中，wrl到wnl的部分轨迹，为由启动器Ig2,Ig3和Ig4生成的轨迹树所共享。

轨迹合并：轨迹合并中，由不同启动器生成的多个轨迹合并到一点。轨迹合并可分为两个级别：总合并和部分合并。

(1）总合并中：起源于一个启动器的所有轨迹都合并到一个点（该点也位于由其他启动器生成的轨迹上）。在图1中，对于启动器Ig3而言，Pm2是其总合并点，这是因为由Ig3生成的惟一轨迹在该点合并。

(2）部分合并中：一些轨迹得到合并，但不是全部。在图1中，对于启动器Ig1和Ig2,Pm1是它们的部分合并点。

合并点是非常关键的点，在本文提出的服务交互验证方法中起着重要作用。通过计算轨迹包含和轨迹合并，可以改善服务验证过程的时间复杂度。

2 Web服务组合验证

本文采用一种基于建模的方法来验证服务组合，即通过检测系统模型是否满足线性时序逻辑（LTL）规范公式，来判断模型是否正确，对于错误结果，则返回反例。

2.1交互规范

本文通过交互规范来验证Web服务组合的正确性，利用线性时序逻辑（LTL）来描述组合服务的交互规范。系统以一个适当逻辑由模型M来表示，ϕ表示规范公式，用来验证模型M是否满足ϕ(M|=ϕ)。

2.2服务组合验证

本文将交互规范公式写入规范集合ϕ中，并提取Web服务的活动。在活动提取完之后，本文映射活动到对应各自拥有的Web服务中，并膨胀Web服务的活动。如果一个服务没被使用，则缩小该服务。在验证技术中，膨胀和缩小观念的应用减少了状态“爆炸”的几率。然而，在最坏情况下，如果来自所有候选Web服务的活动都涉及一个单一交互规范公式时，那么缩小会无效。通胀之后，本文研究了Web服务相关的所有可能的通信模式，最终考虑下面4个通信模式：单向；要求-响应；请求-响应和通知。下面算法描述了提出的服务组合验证方法：

本文将每个生成的轨迹与规范公式相匹配。如果匹配，则轨迹中的属性是满足的，否则存在违约。将不遵守属性规范的轨迹作为反例，在反例的协助下，设计者可以修正模型[12]。本文利用轨迹概念来优化计算过程和搜索空间，这种技术可以应用于任意数量的相关服务。

3实验及分析

利用Eclipse IDE编译软件，XAMPP建站软件中的Apache Tomcat服务器以及MySQL数据库，模拟实现一个旅行社场景[13]。实验平台为2.6 GHz主频的酷睿i5处理器，64位Windows 7系统。

旅行社场景中，顾客首先调用旅行社的Web服务（TA），然后，旅行社Web服务调用三个Web服务：汽车租赁（CR）、酒店预定（HB）和机票预订（FB）服务[14]。

建模：旅行社场景中有4个Web服务，W=TA,CR,HB,FB。通过执行Web服务集分组算法，将其分组成两个子集S={S1,S2}，其中S1={TA},S2={CR,HB,FB}。集合S的WSSG图描述了以TA为启发器的部分视图，由于该图满足不相交性和正交性，所以不会出现死锁现象。

TA传达了两种类型的信息，第一类信息（Car＿Avail?,Hotel＿Avail?和Fight＿Avail?）的目的是获得有用信息。如果可用，则Web服务的接收方（CR,HB和FB）答复Car＿Yes,Hotel＿Yes和Flight＿Yes）；否则答复Car＿No,Hotel＿No及Flight＿No。TA获得有用的答复之后，通过输送第二类信息（Car＿Bk,Hotel＿Bk,Flight＿Bk）来进行预订。服务接收方收到来自TA的预订信息后，若顾客已预订，则答复Car＿Bkd,Hotel＿Bkd和Flight＿Bkd；否则，服务接收方分别回复¬Car＿Bkd,¬Hotel＿Bkd和¬Flight＿Bkd。

规范：令→表示逻辑蕴涵运算，本文考虑以下两个交互规范属性作为LTL公式：

该属性表明：如果酒店可用且TA要求预订酒店，则酒店必须被预订。

该属性表明：如果酒店已被预订，则航班也必须被预订（没有预订航班，则预订酒店失去意义）[15]。

验证：首先，本文考虑第一个LTL规范：ϕ1=G(Hotel＿Yes∧Hotel＿Bk)→F(Hotel＿Bkd)来验证模型。通过提取信息，发现活动Hotel＿Yes,Hotel＿Bk和Hotel＿Bkd构成了规范ϕ1。这些活动分别属于HB,TA和HB服务，因此，本文在抽象模型中膨胀这些服务。由于在规范公式中没有来自汽车租赁和机票预订服务的任何活动，所以本文没有膨胀这些服务。由于这些活动均属于TA和HB服务，所以，本文建立了TA和HB之间的所有通信模式，如图3所示。可以看出，TA和HB之间存在三条调用轨迹，本文逐一验证每条轨迹，并成功找出了一条违反属性ϕ1的轨迹：TA→Hotel＿Avail?→Hotel＿Yes→Hotel＿Bk→¬Hotel＿Bkd→HB。

然后，本文考虑第二个LTL规范：ϕ2=G((Hotel＿Bkd)→F(Flight＿Bkd))。通过分析规范公式，在此提取以下两个活动：Hotel＿Bkd及Flight＿Bkd，这些活动分别属于HB和FB服务。由相同的启动器生成两个轨迹，一个活动属于从TA到FB的轨迹，另一个活动属于从TA到HB的轨迹。这两个轨迹为平行轨迹，可能会同时运行。不像图3中从TA到HB的三条轨迹，它们之间可以互相替代，但不会同时运行。本文发现从TA到FB、从TA到HB两条轨迹在同一时间执行，不满足属性ϕ2，图4显示了违反规范ϕ2的通信模式。

综上可知，对于具有4个服务的旅行社场景，本文服务组合验证方案能够有效地检测出违反规范的调用轨迹，验证Web服务组合的正确性。

4结语

本文提出了一种Web服务组合形式化验证方法。首先，对服务组合进行建模，利用提出的Web服务集分组（WSSG）算法将候选Web服务划分为几个子集，并结合调用轨迹编排这些子集组成WSSG图，作为系统的抽象模型；然后，推理系统所需的预期交互规范，利用线性时序逻辑（LTL）来描述交互规范；最后，通过检测模型是否符合交互规范来验证组合模型的可行性。通过旅行社场景实验表明，本文方案能够有效验证Web服务组合的正确性。