Title :
Exploring the design of an intentional naming scheme with an automatic constraint analyzer
Author :
Khurshid, Sarfraz ; Jackson, Daniel
Author_Institution :
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
Abstract :
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
Keywords :
client-server systems; constraint handling; naming services; relational databases; software tools; Alloy Constraint Analyzer; Alloy relational notation; automatic simulation tool; client server system; dynamic networked environment; intentional naming system; lightweight formal modeling; naming semantics; resource discovery; Analytical models; Computer science; Databases; Java; Law; Legal factors; Network servers;
Conference_Titel :
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location :
Grenoble
Print_ISBN :
0-7695-0710-7
DOI :
10.1109/ASE.2000.873646
