发明名称 |
一种基于形式化描述和状态迁移的XML转换方法 |
摘要 |
一种基于形式化描述和状态迁移的XML转换方法,此方法对采用XML作为主要数据表示形式的网络协议能够进行有效的形式化描述,包括以下步骤:(1)分析网络协议的逻辑功能,将协议划分为不同的状态,每个状态用唯一的一个XML片断表示;(2)按照协议语义为上述各状态建立状态迁移规则;(3)执行该迁移规则,实现XML数据之间的转换,从而完成协议的自动实现。本发明与现有的协议形式化方法比较,综合考虑了单基于状态的形式化方法和单纯基于程序设计语言方法各自的优势和不足,即避免了单纯基于状态方法的“状态空间爆炸”问题,也发挥了程序设计语言方法对于静态数据结构和操作过程描述的优势。 |
申请公布号 |
CN101282345A |
申请公布日期 |
2008.10.08 |
申请号 |
CN200810101244.3 |
申请日期 |
2008.03.03 |
申请人 |
北京航空航天大学 |
发明人 |
马殿富;李宁;刘建;韩军;李竹青;王颖 |
分类号 |
H04L29/06(2006.01);G06F17/22(2006.01) |
主分类号 |
H04L29/06(2006.01) |
代理机构 |
北京科迪生专利代理有限责任公司 |
代理人 |
贾玉忠;卢纪 |
主权项 |
1、一种基于形式化描述和状态迁移的XML转换方法,其特征在于包括以下步骤:(1)分析网络协议的逻辑功能,将协议划分为不同的状态,每个状态用唯一的一个XML片断表示;(2)按照协议语义为上述各状态建立状态迁移规则;(3)执行该迁移规则,实现XML数据之间的转换,从而完成协议的自动实现。 |
地址 |
100083北京市海淀区学院路37号 |