王晶
- 作品数：3 被引量：16H指数：1
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于概率时间自动机的模型检测反例表示研究
- 2011年
- 近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA的反例表示问题,首先将PTA的语义表示为Markov决策过程(MDP),通过策略解决MDP不确定性,将MDP转换为离散时间Markov链(DTMC);然后将DTMC转换为带权有向图,则PTA中最小反例问题转化为带权有向图中最短路径问题;最后采用正则表达式表示求得的反例.
- 王晶张广泉
- 关键词：反例MARKOV决策过程
- 基于概率模型检测的Web服务组合验证
- b服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Ma...
- 王晶戎玫张广泉
- 基于概率模型检测的Web服务组合验证被引量：16
- 2012年
- Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。
- 王晶戎玫张广泉祝义
- 关键词：WEB服务组合有限自动机MARKOV模型概率模型检测
