Structure Editor for Building Software Models

Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan

Alloy is well known a declarative modeling language. A key strength of Alloy is its scenario finding toolset, the Analyzer, which allows users to explore all valid scenarios that a…