Global S&T Development Trend Analysis Platform of Resources and Environment
| Optimizing Alloy Models | |
| Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger | |
| 2011 | |
| 出版年 | 2011 |
| 语种 | 英语 |
| 国家 | 挪威 |
| 领域 | 气候变化 |
| 英文摘要 | This paper presents three possible optimizations of Alloy models, including how and when to implement these optimizations. Alloy is a formal light-weight language for performing incremental and automatic analysis. Analysis is performed within a user-defined scope, which limits the number of model elements that are considered. When this scope increases, the number of possible combinations of model elements increases exponentially. Thus the analysis time escalates rapidly caused by this state-space explosion. Implementing the optimizations presented in this paper will decrease the analysis time, and thus make analysis suitable for larger models. We give concrete examples showing the decrease in analyzation effort and time given these optimizations. Oppdragsgiver: Research Council of Norway |
| URL | 查看原文 |
| 来源平台 | Center for International Climate and Environmental Research-Oslo (CICERO) |
| 文献类型 | 科技报告 |
| 条目标识符 | http://119.78.100.173/C666/handle/2XK7JSWQ/1655 |
| 专题 | 气候变化 |
| 推荐引用方式 GB/T 7714 | Svendsen, Andreas,Haugen, Øystein,Møller-Pedersen, Birger. Optimizing Alloy Models,2011. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论