首页>
外国专利>
DESIGN RULE HIERARCHY, TASK PARALLELISM, AND DEPENDENCY ANALYSIS IN LOGICAL DECISION MODELS
DESIGN RULE HIERARCHY, TASK PARALLELISM, AND DEPENDENCY ANALYSIS IN LOGICAL DECISION MODELS
展开▼
机译：逻辑决策模型中的设计规则层次结构，任务并行性和依赖性分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼
