许迅
- 作品数：4 被引量：3H指数：1
- 供职机构：盐城工学院信息工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于TLA的Web服务组合验证及相关工具的开发
- 随着以Web服务为基础的面向服务的体系结构的发展，如何有效组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为热点。但是，Web服务组合技术的研究刚刚起步，还面临很多问题，比如Web服务如何组合，能否自...
- 许迅
- 关键词：BPEL流程WEB服务组合验证时序逻辑
- 文献传递
- 一种验证Web服务流程的新方法被引量：2
- 2008年
- 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。
- 王晨王红兵许迅
- 关键词：时序逻辑语言WEB服务业务流程执行语言WEB服务组合验证
- 基于TLA的Web服务组合研究
- 2010年
- 随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点。简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式,并给出了具体的算法。
- 王一飞李迎春许迅
- 关键词：WEB服务组合验证
- 基于Petri网的OWL-S流程模型的验证与分析被引量：1
- 2008年
- 广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。
- 王晨王红兵许迅
- 关键词：PETRI网OWL-SWEB服务组合验证工作流分析
