您好,欢迎来到中国浙江网上技术市场! 登录 快速注册 帮助中心 客服电话: 0571-85009137

成果
  • 成果
  • 需求
  • 专家
  • 中介
搜索

杭州电子科技大学

公示名称《一种基于NuSMV的服务组合规则路由的正确性验证方法》1项发明专利权拟转让公示
转让方名称杭州电子科技大学
交易方式协议定价
拟成交价格(万元)3
公示日期2019-03-11 15:43:10.0 -- 2019-03-25 15:43:12.0
公示内容我校拟转让《一种基于NuSMV的服务组合规则路由的正确性验证方法》1项发明专利权,现进行转让前公示。公示信息如下: 专利名称:一种基于NuSMV的服务组合规则路由的正确性验证方法 内容摘要:本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务,建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量,根据组合服务模型六元组的消息集合创建NuSMV验证程序的消息变量。然后得到状态变量的所有条件分支及赋值。最后输入待验证的性质,运行生成的NuSMV验证程序,对性质进行验证,对于不满足的性质给出反例。本发明所提供的方法在传统的有限状态机的五元组基础上,扩充了对消息接收和发送的表示,提出了定义企业服务总线上的服务模型六元组,有效地表达了服务和规则的交互情况。 专利号:ZL201210134962.7 发明人:俞东进 殷昱煜 闫大强 刘志清 受让方:杭州鹿径科技有限公司 拟转让金额:3万元 价格确定方式:协议定价 公示期限:自2019年3月11日至2019年3月25日止 任何人对公示内容持有异议,请在公示期内以书面形式向科技成果转化办公室(行政楼306室)提出,需写出具体、真实的情况,以实名提出异议,不能匿名,并提供相关证明材料。 联系人:连梦露 联系电话:0571-86915165 联系邮箱:lml@hdu.edu.cn 科技成果转化办公室 2019年3月11日
法律声明