Alloy is a lightweight formal specification language, supportedby an IDE, which has proven well-suited for reasoning aboutsoftware design in early development stages. The IDE provides a Visualizerthat produces graphical representations of analysis results, whichis essential for the proper validation of the model. Alloy is a rich languagebut inherently static, so behavior needs to be explicitly encodedand reasoned about. Even though this is a common scenario, the Visualizerpresents limitations when dealing with such models. The maincontribution of this paper is a principled approach to generate instancevisualizations, which improves the current Alloy Visualizer, focusing onthe representation of behavior.

   

@inproceedings{CoutoCMC:2018,
 author = {R. Couto and J.C. Campos and N. Macedo and A. Cunha},
 title = {Improving the Visualization of Alloy Instances},
 booktitle = {Integrated Development Environment 2018 (F-IDE 2018)},
 series = {Electronic Proceedings in Theoretical Computer Science},
 volume = {284},
 pages = {37-52},
 year = {2018},
 abstract = {Alloy is a lightweight formal specification language, supportedby an IDE, which has proven well-suited for reasoning aboutsoftware design in early development stages. The IDE provides a Visualizerthat produces graphical representations of analysis results, whichis essential for the proper validation of the model. Alloy is a rich languagebut inherently static, so behavior needs to be explicitly encodedand reasoned about. Even though this is a common scenario, the Visualizerpresents limitations when dealing with such models. The maincontribution of this paper is a principled approach to generate instancevisualizations, which improves the current Alloy Visualizer, focusing onthe representation of behavior.},
 doi = {10.4204/EPTCS.284.4},
 hdl = {1822/66794}
}

Generated by mkBiblio 2.6.28