Alloy (specification language)
From Wikipedia, the free encyclopedia
In computer science and software engineering, the Alloy specification language is a declarative language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. The mathematical underpinnings of the language were heavily influenced by the Z notation, although the syntax of Alloy owes more to languages such as Object Constraint Language.[1] Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer.
The first version of the Alloy language appeared in 1997. It was a rather limited object modeling language. Succeeding iterations of the language "added quantifiers, higher arity relations, polymorphism, subtyping, and signatures".[2]
[edit] See also
- The conceptual framework of RM-ODP was formalized in Alloy based on the Triune Continuum Paradigm.[3]
[edit] References
- ^ Jackson, Daniel (2006). Software Abstractions: Logic, Language, and Analysis. MIT Press. ISBN 978-0-262-10114-1.
- ^ "Alloy FAQ". http://alloy.mit.edu/faq.php. Retrieved on 2007-05-16.
- ^ Naumenko, A.; A. Wegmann (2007). "Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm". Computer Standards & Interfaces (Elsevier B.V.) 29 (1): 39-53. ISSN 0920-5489. http://dx.doi.org/10.1016/j.csi.2005.10.001. Retrieved on 2009-06-08.
