Please use this identifier to cite or link to this item:
http://repositorio.inesctec.pt/handle/123456789/10473
Title: | Improving the Visualization of Alloy Instances |
Authors: | José Creissac Campos Rui Miguel Couto Alcino Cunha Nuno Moreira Macedo |
Issue Date: | 2018 |
Abstract: | Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior. c R. Couto, J. C. Campos, N. Macedo & A. Cunha This work is licensed under the Creative Commons Attribution License. |
URI: | http://repositorio.inesctec.pt/handle/123456789/10473 http://dx.doi.org/10.4204/eptcs.284.4 |
metadata.dc.type: | Publication conferenceObject |
Appears in Collections: | HASLab - Articles in International Conferences |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
P-00Q-2QD.pdf | 413.85 kB | Adobe PDF | ![]() View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.