Sciweavers

Share
KBSE
2000
IEEE

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer

9 years 2 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
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.
Sarfraz Khurshid, Daniel Jackson
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where KBSE
Authors Sarfraz Khurshid, Daniel Jackson
Comments (0)
books