发明授权
US08443337B2 Methodology and tools for tabled-based protocol specification and model generation
有权
基于twitter的协议规范和模型生成的方法和工具
- 专利标题： Methodology and tools for tabled-based protocol specification and model generation
- 专利标题（中）： 基于twitter的协议规范和模型生成的方法和工具
-
申请号： US12075390申请日： 2008-03-11
-
公开(公告)号： US08443337B2公开(公告)日： 2013-05-14
- 发明人: Ching-Tsun Chou , Phanindra K. Mannava , Seungjoon Park
- 申请人： Ching-Tsun Chou , Phanindra K. Mannava , Seungjoon Park
- 申请人地址： US CA Santa Clara
- 专利权人： Intel Corporation
- 当前专利权人： Intel Corporation
- 当前专利权人地址： US CA Santa Clara
- 代理机构： Trop, Pruner & Hu, P.C.
- 主分类号： G06F9/44
- IPC分类号： G06F9/44
摘要：
In one embodiment, the present invention includes a method for associating and storing a code fragment for each cell of a table for a protocol specification in a semantic mapping corresponding to the table, and automatically generating a formal model for the protocol specification using the table and the semantic mapping. Other embodiments are described and claimed.
公开/授权文献
信息查询
