发明申请
- 专利标题: Automated transformation of specifications for devices into executable modules
- 专利标题(中): 将设备规范自动转换为可执行模块
-
申请号: US10600995申请日: 2003-06-20
-
公开(公告)号: US20050021686A1公开(公告)日: 2005-01-27
- 发明人: Ben Jai , Gokul Prabhakar , Rajeev Rastogi
- 申请人: Ben Jai , Gokul Prabhakar , Rajeev Rastogi
- 主分类号: G06F15/177
- IPC分类号: G06F15/177 ; H04L12/24
摘要:
A number of configuration elements are associated with a number of devices. Information about input configuration elements is accessed. An input configuration element is associated with one or more input rules. It is determined which of the configuration elements could be accessed by the input rules and any call chains emanating from the rules. Output rules are determined by using the accessed configuration elements, the input rules, and the way the input rule manipulates its accessed configuration elements. Each output rule may be derived from an input rule and corresponds to the same input configuration element associated with that input rule. An executable module is generated that is adapted to access at least a given one of the input configuration elements and to trigger one or more of the output rules corresponding to the given input configuration element. Read and write sets for rules are determined, and the triggered output rules ensure that restrictions associated with a configuration element are not violated
公开/授权文献
信息查询