Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66794
Título: | Improving the visualization of alloy instances |
Autor(es): | Couto, Rui Campos, José C. Macedo, Nuno Cunha, Alcino |
Data: | 2018 |
Editora: | Open Publishing Association |
Revista: | Electronic Proceedings in Theoretical Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/66794 |
DOI: | 10.4204/EPTCS.284.4 |
ISSN: | 2075-2180 |
Versão da editora: | https://arxiv.org/abs/1811.10817v1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1811.10817v1.pdf | 413,85 kB | Adobe PDF | Ver/Abrir |