[发明专利]一种基于形式化描述和状态迁移的XML转换方法无效
| 申请号： | 200810101244.3 | 申请日： | 2008-03-03 |
| 公开（公告）号： | CN101282345A | 公开（公告）日： | 2008-10-08 |
| 发明（设计）人： | 马殿富;李宁;刘建;韩军;李竹青;王颖 | 申请（专利权）人： | 北京航空航天大学 |
| 主分类号： | H04L29/06 | 分类号： | H04L29/06;G06F17/22 |
| 代理公司： | 北京科迪生专利代理有限责任公司 | 代理人： | 贾玉忠;卢纪 |
| 地址： | 100083*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于形式化描述和状态迁移的XML转换方法，此方法对采用XML作为主要数据表示形式的网络协议能够进行有效的形式化描述，包括以下步骤：(1)分析网络协议的逻辑功能，将协议划分为不同的状态，每个状态用唯一的一个XML片断表示；(2)按照协议语义为上述各状态建立状态迁移规则；(3)执行该迁移规则，实现XML数据之间的转换，从而完成协议的自动实现。本发明与现有的协议形式化方法比较，综合考虑了单基于状态的形式化方法和单纯基于程序设计语言方法各自的优势和不足，即避免了单纯基于状态方法的“状态空间爆炸”问题，也发挥了程序设计语言方法对于静态数据结构和操作过程描述的优势。 | ||
| 搜索关键词： | 一种 基于 形式化 描述 状态 迁移 xml 转换 方法 | ||
【主权项】：
1、一种基于形式化描述和状态迁移的XML转换方法，其特征在于包括以下步骤：(1)分析网络协议的逻辑功能，将协议划分为不同的状态，每个状态用唯一的一个XML片断表示；(2)按照协议语义为上述各状态建立状态迁移规则；(3)执行该迁移规则，实现XML数据之间的转换，从而完成协议的自动实现。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京航空航天大学，未经北京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200810101244.3/，转载请声明来源钻瓜专利网。
