Exploring the design of an intentional naming scheme with an automatic constraint analyzer
Exploring the design of an intentional naming scheme with an automatic constraint analyzer
复制标题
使用自动约束分析器探索有意命名方案的设计
DOI：
10.1109/ase.2000.873646
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
D. Jackson
中科院分区：
文献类型：
--
作者：
S. Khurshid;D. Jackson
采用轻量级形式化建模和自动分析的方法，探讨了动态网络环境下资源发现的新方案--意向命名系统（INS）的设计。我们用Alloy（一种轻量级的关系表示法）构建了一个INS模型，并使用Alloy约束分析器（一个全自动的仿真和检查工具）对其进行了分析。在这样做的过程中，我们暴露了INS算法和底层命名语义中的几个严重缺陷。我们能够描述现有INS方案正确工作的条件，并评估建议的修复方案。
Lightweight formal modeling and automatic analysis were used to explore the design of the intentional naming system (INS), a new scheme for resource discovery in a dynamic networked environment. We constructed a model of INS in Alloy a lightweight relational notation, and analyzed it with the Alloy Constraint Analyzer, a fully automatic simulation and checking tool. In doing so, we exposed several serious flaws in both the algorithm of INS and the underlying naming semantics. We were able to characterize the conditions under which the existing INS scheme works correctly, and evaluate proposed fixes.