Invention Grant
US08443337B2 Methodology and tools for tabled-based protocol specification and model generation
有权
基于twitter的协议规范和模型生成的方法和工具
- Patent Title: Methodology and tools for tabled-based protocol specification and model generation
- Patent Title (中): 基于twitter的协议规范和模型生成的方法和工具
-
Application No.: US12075390Application Date: 2008-03-11
-
Publication No.: US08443337B2Publication Date: 2013-05-14
- Inventor: Ching-Tsun Chou , Phanindra K. Mannava , Seungjoon Park
- Applicant: Ching-Tsun Chou , Phanindra K. Mannava , Seungjoon Park
- Applicant Address: US CA Santa Clara
- Assignee: Intel Corporation
- Current Assignee: Intel Corporation
- Current Assignee Address: US CA Santa Clara
- Agency: Trop, Pruner & Hu, P.C.
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
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.
Public/Granted literature
- US20090235228A1 Methodology and tools for table-based protocol specification and model generation Public/Granted day:2009-09-17
Information query
