Invention Grant
- Patent Title: Generating a configuration of a system that satisfies constraints contained in models
- Patent Title (中): 生成满足模型中包含的约束的系统配置
-
Application No.: US11700374Application Date: 2007-01-31
-
Publication No.: US07644377B1Publication Date: 2010-01-05
- Inventor: James B. Saxe , Akhil Sahai , Sharad Singhal , Lyle H. Ramshaw
- Applicant: James B. Saxe , Akhil Sahai , Sharad Singhal , Lyle H. Ramshaw
- Applicant Address: US TX Houston
- Assignee: Hewlett-Packard Development Company, L.P.
- Current Assignee: Hewlett-Packard Development Company, L.P.
- Current Assignee Address: US TX Houston
- Main IPC: G06F17/50
- IPC: G06F17/50
Abstract:
To configure a system, models of corresponding components are provided, where the models contain constraints. The models specify that at least one of the components is composed of at least another one of the components. The models are input into a design tool. The design tool generates a configuration of the system that includes the components, wherein the generated configuration satisfies the constraints contained in the models.
Information query
