| |||||||||||||
RTLWS: Modeling systems with AlloyRTLWS: Modeling systems with AlloyPosted Nov 8, 2012 17:37 UTC (Thu) by jimparis (subscriber, #38647)Parent article: RTLWS: Modeling systems with Alloy
This article could benefit from even a minimal example of what the Alloy language looks like. None of the immediate links in the article show any examples, either. To those of us unfamiliar with Z and Alloy, this just seems like magic fairy pixie dust that solves problems in some unknown way.
(Log in to post comments)
RTLWS: Modeling systems with Alloy Posted Nov 8, 2012 18:10 UTC (Thu) by jake (editor, #205) [Link]
> minimal example of what the Alloy language looks like
Unfortunately, my note taking was not fast enough to capture enough of the syntax to provide that example. I didn't find a definitive link for a quick look at the language either, unfortunately, but the tutorial at http://alloy.mit.edu/alloy/tutorials/online/ will certainly give you the flavor of things ...
jake
|
|||||||||||||