论文部分内容阅读
当今软件环境进入了一个新的层次，平台的异构、平台间的互连互通成为主流，对软件的需求也由集中式的主从控制变为以合作和协同为主的结构。企业迫切需要利用信息手段实现先进的管理流程,制定适合自己的业务流程并通过相应的软件平台实现企业的信息化，从而能够灵活的应对市场的变化。随着Web服务技术的不断成熟，为整个网络环境提供了相对松散的计算平台，基于Web服务的软件开发模式也在不断完善。
随着客户需求的不断增加，系统功能要求越来越复杂，已存在的服务已越来越不能满足客户的需求，解决应用服务之间的共享和应用协作问题成为关键。
SOA中的Web服务组合思想无疑可以很好的解决这个问题。BPEL简化了将多个Web服务合成为一个新的复合服务的操作过程。但想要进一步提高BPEL流程的开发效率，还需要一个可视化的解决方案，另外对于所建立解决方案的正确性验证、Web服务自动组合及自动补偿技术上还有很大的研究空间。
论文将机械设计中的设计结构矩阵(DSM)技术引入到服务组合的研究中，设计了基于BPEL的工作流模型图元和数据结构，提出了一个可实现互操作的工作流模型，改进了原有的图规约方法对设计的工作流进行正确性验证。研究了DSM对工作流模型的验证方法及在工作流自动补偿技术上的应用方式，设计了Web服务自动组合模型和Web服务自动补偿模型，最终实现了Web服务自动编排系统的可视化建模及验证功能，为以后课题的继续开展做了铺垫。