with an Automatic Constraint Analyzer Sarfraz Khurshid and Daniel Jackson...  Home/Search
Context
Related
| mit.edu/dnj/pubs/ase00.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: mit.edu/dnj/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Similar documents (at the sentence level): More
45.9%: Exploring the Design of an Intentional Naming Scheme with.. - Sarfraz Khurshid And (Correct)
6.6%: Correcting a Naming Architecture Using Lightweight.. - Khurshid, Jackson (2001) (Correct)
5.0%: COM Revisited: Tool-Assisted Modelling of an Architectural.. - Jackson, Sullivan (Correct)
Active bibliography (related documents): More All
0.2: Unknown - (Correct)
0.2: TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (Correct)
0.2: TestEra: A Novel Framework for Testing Java Programs - Khurshid, Marinov (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ automatic-exploring,
author = "With An Automatic",
title = "Exploring the Design of an Intentional Naming Scheme",
url = "citeseer.ist.psu.edu/766866.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey - 1992
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1998
315 Symbolic Model Checking: An Approach to the State Explosion .. (context) - McMillan - 1992
270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995
190 Using CSP look-back techniques to solve real world SAT insta.. - Jr, Schrag - 1997
115 The Design and Implementation of an Intentional Naming Syste.. - Adjie-Winoto, Schwartz et al. - 1999
85 Special issue on Formal Methods in Software Practice (context) - Holzmann, Checker et al. - 1997
85 SATO: An Efficient Propositional Prover - Zhang
61 Alcoa: The Alloy Constraint Analyzer (context) - Jackson, Schechter et al. - 2000
31 Automating First-Order Relational Logic - Jackson - 2000
27 Lightweight Formal Methods (context) - Jackson, Wing - 1996
25 Formal Specification as a Design Tool (context) - Guttag, Horning - 1980
19 Alloy: A Lightweight Object Modeling Notation (context) - Jackson - 2000
9 A Case Study in Model Checking Software Systems - Wing, Vaziri-Farahani
6 The IFAD VDM Tools: Lightweight Formal Methods (context) - Agerhold, Larsen - 1998
5 MIT Laboratory of Computer Science (context) - Schwartz, Implementation et al. - 1999
1 COM Revisited: ToolAssisted Modeling and Analysis of Softwar.. (context) - Jackson, Sullivan - 2000
Documents on the same site (http://people.csail.mit.edu/dnj/pubs/): More
Some Shortcomings of OCL, the Object Constraint Language of UML - Mandana Vaziri And (Correct)
Alloy: A Lightweight Object Modelling Notation - Jackson (2001) (Correct)
Automating First-Order Relational Logic - Jackson (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC