发明名称 |
DESIGN RULE HIERARCHY, TASK PARALLELISM, AND DEPENDENCY ANALYSIS IN LOGICAL DECISION MODELS |
摘要 |
<p>A binary augmented constraint network (BACN) allows dependency relationships to be determined without solving constraints. BACN models design decisions as first-class members and expresses how decisions make assumptions upon each other using logical constraints. Pairwise dependency relations (PWDRs) are determined based on the BACN. A design rule hierarchy (DRH) based on assumption relations among design decisions identifies parallelizable tasks within software design. Modules within the same layer of the hierarchy suggest concurrent tasks. Dependencies between layers or within a module suggest possible need for communication. In one configuration, decisions within the top layer of the hierarchy are the most influential design rules, which dominate the rest of the system, and are kept stable. The decisions within subsequent layers assume design decisions in previous layers. The design decisions within each layer are clustered into modules. Modules within the same layer are independent from each other and are candidates for concurrent implementation.</p> |
申请公布号 |
WO2012030808(A1) |
申请公布日期 |
2012.03.08 |
申请号 |
WO2011US49707 |
申请日期 |
2011.08.30 |
申请人 |
DREXEL UNIVERSITY;CAI, YUANFANG;WONG, SUNNY |
发明人 |
CAI, YUANFANG;WONG, SUNNY |
分类号 |
G06E1/00 |
主分类号 |
G06E1/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|