国家自然科学基金(60673175)
- 作品数：4 被引量：7H指数：2
- 相关作者：王榕吴素芹王一飞许迅王红兵更多>>
- 相关机构：盐城工学院东南大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种验证Web服务流程的新方法被引量：2
- 2008年
- 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。
- 王晨王红兵许迅
- 关键词：时序逻辑语言WEB服务业务流程执行语言WEB服务组合验证
- 基于工作流的Web服务组合系统的设计与实现被引量：3
- 2009年
- 单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能。通过分析工作流与Web服务流程执行的相同点,设计并实现了一个基于工作流的Web服务组合系统(WSCS)。该系统能在自治的、异构的、动态的环境下灵活、高效地组合Web服务。整个系统主要包括三个模块:组合流程建模模块、服务选取模块、流程执行模块。
- 王一飞吴素芹王榕
- 关键词：WEB服务工作流
- 基于Petri网的OWL-S流程模型的验证与分析被引量：1
- 2008年
- 广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。
- 王晨王红兵许迅
- 关键词：PETRI网OWL-SWEB服务组合验证工作流分析
- 基于图的Web服务组合的研究被引量：1
- 2010年
- 从Web服务质量入手,将QoS参数属性作为图的权重,提出了基于图的Web服务组合建模,并介绍了用不同的算法分别在模型上寻找解决方案。
- 王一飞吴素芹王榕
- 关键词：WEB服务
