王晨
- 作品数：3 被引量：5H指数：2
- 供职机构：东南大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种验证Web服务流程的新方法被引量：2
- 2008年
- 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。
- 王晨王红兵许迅
- 关键词：时序逻辑语言WEB服务业务流程执行语言WEB服务组合验证
- 高速IDS系统中读写缓冲区的互斥机制被引量：2
- 2003年
- 在网络入侵检测系统中,通常需要在内存中开辟缓冲区对网络报文进行采集和分析,但是传统的读写缓冲区的互斥机制在高速网络环境中的效率都不甚理想,无法满足对高速IDS系统的性能需求。该文提出的一种基于并发锁机制的双缓冲区互斥机制可以改善传统锁机制的资源利用率,很好地解决了报文到达流和报文处理能力之间的性能瓶颈问题,显著地提高了IDS系统的性能。
- 王晨龚俭廖闻剑
- 关键词：互斥机制锁机制缓冲区管理
- 基于Petri网的OWL-S流程模型的验证与分析被引量：1
- 2008年
- 广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。
- 王晨王红兵许迅
- 关键词：PETRI网OWL-SWEB服务组合验证工作流分析
