Alloy is an open source language and analyzer for software modeling

Re:Alloy is an open source language and analyzer for softwar... by analognoise on Saturday May 25, 2019 @04:07PM (#20011045)

Is there a minimal example showing automatically created compile-able code from a model, or a process to do that?

[ Parent | on HN ]

Re:Alloy is an open source language and analyzer for softwar... by anigbrowl on Saturday May 25, 2019 @04:55PM (#20011362)

http://alloytools.org/faq/can_you_print_or_capture_the_diagr...

Likewise I searched in vain for one of these diagrams. It sounds interesting but the 'GUI' is just two text windows and a toolbar that look straight out of 1996 which doesn't bode well.

[ Parent | on HN ]

Re:Alloy is an open source language and analyzer for softwar... by hcs on Saturday May 25, 2019 @06:03PM (#20011733)

Those diagrams are of data structures, not algorithms. Here's an example: http://alloytools.org/quickguide/vizview.html

[ Parent | on HN ]

Re:Alloy is an open source language and analyzer for softwar... by anigbrowl on Sunday May 26, 2019 @06:01PM (#20017845)

I mean, the first question in the FAQ is about those diagrams so maybe it should include an example of one? Usually when I'm evaluating a new project I am not so interested in figuring out what it can do if that isn't clearly communicated up front.

[ Parent | on HN ]

Re:Alloy is an open source language and analyzer for softwar... by hwayne on Saturday May 25, 2019 @07:43PM (#20012211)

There aren't that many public diagrams, so I whipped up a quick example of spec and diagram here: https://gist.github.com/hwayne/2619df2dd7055a57de96f8769c37f....

[ Parent | on HN ]

Re:Alloy is an open source language and analyzer for softwar... by BoiledCabbage on Saturday May 25, 2019 @04:14PM (#20011086)

Doesn't quite answer your question, but possibly in the docs here?

http://alloytools.org/documentation.html

Including tutorials

http://alloytools.org/tutorials/online/

http://alloytools.org/tutorials/day-course/

[ Parent | on HN ]