基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源，提高服务建模的重用性和通用性，提出对面向服务的Web资源分类，并采用有色Petri网研究分类服务的组合建模。在该方法中，以服务目标、资源、状态、数据信息作为描述服务的基本要素，引入控制库所表达外因事件对服务组合的影响，建立了基于基本服务构建组合服务的算法和简化规则，讨论了服务组合Petri网的分析验证方法。最后，应用有色Petri网工具，建立和验证了基于分类服务的电网故障诊断有色Petri网模型。