Abstract
Alloy is a modelling language based on first order logic and relational calculus combining the precision of formal specifications with powerful automatic analysis features [4]. The automatic analysis is done by the Alloy Analyzer, a tool capable of finding instances for given Alloy models in a finite domain space using SAT solving.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lightning tool website, http://lightning.gforge.uni.lu
Gammaitoni, L., Kelsen, P.: Functional Alloy Modules. Technical Report TR-LASSY-14-02, University of Luxembourg, http://hdl.handle.net/10993/16386
Orefice, S., Costagliola, G., De Lucia, A., Polese, G.: A classification framework to support the design of visual languages. Journal of Visual Languages and Computing, 573–600 (2002)
Jackson, D.: Software abstractions. MIT Press, Cambridge (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gammaitoni, L., Kelsen, P. (2014). Domain-Specific Visualization of Alloy Instances. In: Ait Ameur, Y., Schewe, KD. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2014. Lecture Notes in Computer Science, vol 8477. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43652-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-662-43652-3_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43651-6
Online ISBN: 978-3-662-43652-3
eBook Packages: Computer ScienceComputer Science (R0)