潘娜娜
- 作品数：2 被引量：1H指数：1
- 供职机构：青岛大学计算机科学技术学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 服务组合系统交互协议兼容性检测模型被引量：1
- 2016年
- 针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。
- 李雪飞蒋静郭晓华潘娜娜孙杰
- 关键词：交互协议上下文感知兼容性NUSMV
- 一种基于NuSMV模型检测的服务组合编制方法
- 2014年
- 给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性。并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器。该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险。
- 孙杰蒋静郭晓华潘娜娜
- 关键词：NUSMVCTL
