Alloy paper



Date view Thread view Subject view Author view

Daniel Jackson (dnj@lcs.mit.edu)
Fri, 28 Jul 2000 16:22:30 -0400


dear pummellers, i've just finished a complete rewrite of the paper describing my Alloy language. responding to reviewers comments, i've added a much more substantial case for why it's worth considering a new language despite the standardization of UML. i've also shortened the description of the language drastically -- now only 6 1/2 pages long. the paper is critical of the approach taken to UML by much of the pUML work -- namely using formalism to explain and fix UML rather than starting from scratch. so i suspect many of you won't like it, but perhaps you'll rise to my bait and tell me why i'm wrong. it's quite likely that i'm not as appreciative of UML and OCL as i should be, and i'd he happy to be corrected if i've got things wrong. btw, my home page has pointers to some new applications of Alloy: to an Intentional Naming System, to modelling MSFT COM, and most recently to checking code. also, there's a new version of our tool with visualization. you can now give it an object model, and it will generate a sample object diagram satisfying constraints. /daniel paper is at: http://sdg.lcs.mit.edu/~dnj/publications.html#alloy Daniel Jackson Ross Professor of Software Technology MIT Lab for Computer Science http://sdg.lcs.mit.edu/~dnj


Date view Thread view Subject view Author view