web服务组合建模与验证

Web服务组合是SOA&SOC的核心技术，能够快捷满足动态、复杂的业务需求，解决应用系统中“随需应变”的难题，实现应用系统集成和软件复用，成为分布式软件开发的新范型。但是，当前对于Wet）服务及其组合的建模、分析与验证等方面的研究还不完善，许多问题还亟待解决。《web服务组合建模与验证》针对Web服务组合建模与验证方面展开研究，主要内容如下：（1）提出Web服务组合的语义Petri网模型，为验证Wet）服务组合的流程正确性和语义一致性奠定基础。（2）改进Web服务组合的流程正确性验证算法。以语义Petri网为基础，对服务组合流程正确性验证进行改进，并给出相应的算法。（3）提出Web服务组合的语义一致性验证。首先给出组合Web服务与服务组合规划之间的语义一致性所包含的内容，其次分别给出相应的验证算法。（4）将Web服务组合建模与验证应用于水利领域。对水资源调度的Web服务组合系统进行语义Petri网建模与验证。本书可供计算机专业或信息类相关专业研究生参阅，也可供从事计算机应用的科技工作者参考。