专利摘要
本发明提供一种语义Web服务组合的自动验证方法及其系统,将OWL-S描述的Web服务转化为一台原子过程自动机,将原子过程自动机组合为组合过程自动机;消除组合过程自动机的冗余并发和同步迁移,获得优化模型;依据用户限定的相容性要求,确定组合过程自动机的可接受位置集合;依据用户限定的有效性要求,确定逻辑公式CSV;将优化模型转换为UPPAAL的建模语言;将可接受位置集合和逻辑公式CSV表示为CTL公式;将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证;对OWL-S中的原子过程与组合过程的描述更具体完整,可以无差异地参加组合运算,支持逻辑公式和表达式,描述能力更强,提高了验证的效率。
专利附图
语义Web服务组合的自动验证方法及其系统专利购买费用说明
Q:办理专利转让的流程及所需资料
A:专利权人变更需要办理著录项目变更手续,有代理机构的,变更手续应当由代理机构办理。
1:专利变更应当使用专利局统一制作的“著录项目变更申报书”提出。
2:按规定缴纳著录项目变更手续费。
3:同时提交相关证明文件原件。
4:专利权转移的,变更后的专利权人委托新专利代理机构的,应当提交变更后的全体专利申请人签字或者盖章的委托书。
Q:专利著录项目变更费用如何缴交
A:(1)直接到国家知识产权局受理大厅收费窗口缴纳,(2)通过代办处缴纳,(3)通过邮局或者银行汇款,更多缴纳方式
Q:专利转让变更,多久能出结果
A:著录项目变更请求书递交后,一般1-2个月左右就会收到通知,国家知识产权局会下达《转让手续合格通知书》。
动态评分
0.0