3

I would like to know if somebody has ever fully specified the Alloy language in Alloy.

If such a metamodel exists, is it publicly available?

Loïc Gammaitoni
  • 4,173
  • 16
  • 39
  • Do you mean something in the style of J.M. Spivey's *Understanding Z* (Cambridge: CUP, 1988), but for Alloy? I agree, that would be of significant interest. – C. M. Sperberg-McQueen Mar 06 '15 at 18:43
  • Yes and no. No because, through I didn't go through all the book, it seems to me that his main concern is to provide a denotational semantics to Z. Yes because I run into section 1.3 titled meta-circulartiy which basically mention that Z can "express itself". I am sure Alloy can as well and was curious if it has ever been done – Loïc Gammaitoni Mar 09 '15 at 08:59

1 Answers1

-3

Do you mean you'd like a reference like http://docs.appcelerator.com/titanium/latest/#!/api but then based on the Alloy XML tags instead of the Ti. Javascript namespace? That's something I'd very much like to see happening as well, but I cannot give an estimate of when we'd have that atm.

Fokke Zandbergen
  • 3,866
  • 1
  • 11
  • 28
  • 2
    I think OP was referring to [Alloy](http://alloy.mit.edu/), the modeling tool from MIT, and not to [Alloy](http://docs.appcelerator.com/titanium/3.0/#!/guide/Alloy_Command-Line_Interface_Reference), the project management tool from Appcelerator for managing Titanium mobile application development projects. – C. M. Sperberg-McQueen Mar 08 '15 at 18:00
  • Indeed, note that the latter is tagged alloy-titanium, the tag Alloy being reserved to the modelling language (and tool) from MIT. – Loïc Gammaitoni Mar 09 '15 at 08:42
  • 1
    maybe you should delete this answer? – Peter Kriens Dec 27 '17 at 16:07