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

fYear

2000

fDate

2000

Firstpage

13

Lastpage

22

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on

Conference_Location

Grenoble

ISSN

1938-4300

Print_ISBN

0-7695-0710-7

Type

conf

DOI

10.1109/ASE.2000.873646

Filename

873646