文摘

π微积分语义web服务组合形式化描述和验证研究

作者(年代):黄Lei,吴Yanpeng,朱镕基群峰

SemanticWeb andWeb服务技术组合生成语义Web服务,该服务是指语义SemanticWeb标记语言适用于描述服务,所以让Web服务转换成计算机可理解的实体,支持服务组合,自动发现和实现,因此SemanticWeb服务自动组合技术的目标是应用软件与用户要求自动组成各种存在的Web服务,以配合工作,完成用户任务。在语义Web服务组合研究领域,形式化描述和服务组合精度验证是一个非常重要的问题,在这个问题,它涉及许多ofWeb服务沟通协作以及推理和Pi演算由于其较强的表达能力和simplemathematical结构优势,被认为是一种ofmature进程代数方法,方法有移动描述机制,因此其应用inWeb服务沟通和互动是一种相对成熟的和可实现的方法。分析semanticWeb服务组合形式,精度验证和Pi演算原理;它提出π演算形式化和验证基于–语义Web服务自动组合方法,并获得精度和可靠性的优势程度,该方法适用于语义Web服务自动组合。