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

第15卷第1期 计算机集成制造系统 V01．15No．1 2 009年1月 ComputerIntegratedManufacturingSystems Jan．2009 文章编号：1006—5911(2009)01一0053—10 黄小庆，夏安邦 (东南大学电气工程学院，江苏南京210096) 摘要：为更好地集成众多以～层结构开发的遗产资源，提高服务建模的重用性和通用性，提出对面向服务的 Web资源分类，并采用有色Petri网研究分类服务的组合建模。在该方法中，以服务目标、资源、状态、数据信息作 为描述服务的基本要素，引入控制库所表达外因事件对服务组合的影响，建立了基于基本服务构建组合服务的算 法和简化规则，讨论了服务组合Petri网的分析验证方法。最后，应用有色Petri网工具，建立和验证了基于分类服 务的电网故障诊断有色Petri网模型。 关键词：Web服务；Petri网；服务组合；有色Petri网 中图分类号：TP311 文献标识码：A