付明慧
- 作品数：2 被引量：2H指数：1
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于LSC的Web服务组合模型验证方法研究
- 随着Web服务技术的迅速发展,越来越多的Web服务运行在Internet上,这些单一的Web服务功能有限,不能满足用户的需求,但是这些单个、基本的Web服务,允许其他应用程序通过互联网连接及调用,组装成更复杂的应用以便用...
- 付明慧
- 关键词：计算机网络网络服务程序设计编程语言
- 文献传递
- 从活性顺序图到时态逻辑的转化方法被引量：2
- 2012年
- 为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式转化为时态逻辑的一般方法,针对并发消息较多的系统扩展和优化此方法,以得到更简短的时态逻辑公式。通过实例说明活性顺序图到线性时态逻辑的转化过程。
- 付明慧周清雷张兵
- 关键词：时态逻辑
