Exploring the design of an intentional naming scheme with an automatic constraint analyzer

S. Khurshid, D. Jackson
2000 Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering  
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming Sjsteni (INS), a new scheme f o r 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 $illy 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
more » ... characterize the conditions under which the existing INS scheme works correctly, and evaluate proposed fixes.
doi:10.1109/ase.2000.873646 dblp:conf/kbse/KhurshidJ00 fatcat:wur3apomgbft7l4jzamd6lc2t4