.png){kind=icon}
返回
Support for managing design-time decisions
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2006.48.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The desirability of maintaining multiple stakeholders' interests during the software design process argues for leaving choices undecided as long as possible. Yet, any form of underspecification, either missing information or undecided choices, must be resolved before automated analysis tools can be used. This paper demonstrates how Constraint Satisfaction Problem Solution Techniques ( CSTs) can be used to automatically reduce the space of choices for ambiguities by incorporating the local effects of constraints, ultimately with more global consequences. As constraints typical of those encountered during the software design process, we use UML consistency and well-formedness rules. It is somewhat surprising that CSTs are suitable for the software modeling domain since the constraints may relate many ambiguities during their evaluation, encountering a well-known problem with CSTs called the k-consistency problem. This paper demonstrates that our CST-based approach is computationally scalable and effective - as evidenced by empirical experiments based on dozens of industrial models.
Keyword:
UML
design choices
consistency checking
design alternatives
choice elimination
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
Effectiveness of non-legal EIA guidance from the perspective of consultants in Western Australia
OAAI
OAAI分享收藏分享收藏Protein kinase C in the rat retina: immunocharacterization of calcium-independent δ, ϵ and ζ isoenzymes大鼠视网膜中的蛋白激酶C: 不依赖钙的 δ，ε 和 ζ 同工酶的免疫表征
PREAI
分享收藏分享收藏
查看更多内容